Subject: Re: support for 'macro' formatting languages From: David Carlisle <davidc@xxxxxxxxx> Date: Wed, 22 Dec 1999 11:59:12 GMT |
> \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
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
Re: support for 'macro' formatting , David Carlisle | Thread | Re: support for 'macro' formatting , David Carlisle |
Re: support for 'macro' formatting , David Carlisle | Date | Re: Issues with literate programmin, Wroth, Mark |
Month |