2 # This file contains extensions to the Unicode LaTeX package used for the
3 # Matita proof assistant, http://matita.cs.unibo.it
5 # Thu, 08 Jun 2006 17:53:44 +0200 zacchiro
7 U+225D \ensuremath{\stackrel{\mbox{\tiny\em def}}{=}}
8 U+2329 \ensuremath{\langle}
9 U+232A \ensuremath{\rangle}
10 U+2254 \ensuremath{\coloneqq}