-
Committer:
Jacques Distler
-
Date:
2009-10-04 08:28:37 UTC
-
Revision ID:
distler@golem.ph.utexas.edu-20091004082837-bhtczlcgoob2yyam
Tags: 1.3.12
itex2MML 1.3.12: \coloneqq and its cousins
Support for:
\coloneqq
\Coloneqq
\coloneq
\Coloneq
\eqqcolon
\Eqqcolon
\eqcolon
\Eqcolon
\colonapprox
\Colonapprox
\colonsim
\Colonsim
\dblcolon
Not all of these have corresponding Unicode
characters, so may appear a little hackish.
Also, Firefox doesn't seem to set the correct
spacing for binary operators for most of these.
So we hhave to set that by hand.