helm/software/share/texmf/unicode/config/matita.ucf

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