Re: support for 'macro' formatting languages

[David Carlisle <davidc@xxxxxxxxx>]

> \forall a \forall b \forall c (c\times a\to b)\to (c\to b^a)
converting by hand I'd get

  <OMBIND>
    <OMS cd="quant1" name="forall"/>
    <OMBVAR>
      <OMV name="a"/>
      <OMV name="b"/>
      <OMV name="c"/>
    </OMBVAR>
    <OMA>
      <OMS cd="xx" name="to"/>
      <OMA>
        <OMS cd="arith1" name="times"/>
        <OMV name="c"/>
        <OMA>
          <OMS cd="xx" name="to"/>
          <OMV name="a"/>
          <OMV name="b"/>
        </OMA>
      </OMA>
      <OMA>
        <OMS cd="xx" name="to"/>
        <OMV name="c"/>
        <OMA>
          <OMS cd="arith1" name="power"/>
        <OMV name="b"/>
        <OMV name="a"/>
      </OMA>
    </OMA>
  </OMBIND>

Which still isn't something you'd want to write by hand but fairly
compact given XML syntax.

David
PS
this is the last from me this year, sorry about extending this non dsssl
thread.


 DSSSList info and archive:  http://www.mulberrytech.com/dsssl/dssslist