/itexToMML : revision 46

To download this project, use:

bzr branch
http://golem.ph.utexas.edu/~distler/code/itexToMML/

« back to all changes in this revision

Viewing changes to itex-src/itex2MML.h

Committer: Jacques Distler
Date: 2010-04-19 03:08:28 UTC
Revision ID: distler@golem.ph.utexas.edu-20100419030828-1kzpvcr5u003erqr

itex2MML 1.3.22: New License

Now triple-licensed: GPL/MPL/LGPL.

Also, some new symbols:
\ast, \Cap, \Cup, \circledast,
\circledcirc, \curlyvee, \curlywedge,
\divideontimes, \dotplus, \leftthreetimes,
\rightthreetimes, \veebar, \barwedge,
\doublebarwedge, \blacktriangleleft,
\blacktriangleright, \ntriangleleft,
\ntriangleright, \ntrianglelefteq,
\ntrianglerighteq, \trianglelefteq,
\trianglerighteq, \triangleq,
\vartriangleleft, \vartriangleright,
\boxdot, \intercal, \smallfrown,
\smallsmile, \ominus, \oslash