# This file contains extensions to the Unicode LaTeX package used for the
# Matita proof assistant, http://matita.cs.unibo.it
#
# Thu, 08 Jun 2006 17:53:44 +0200 zacchiro

U+225D	\ensuremath{\stackrel{\mbox{\tiny\em def}}{=}}
U+2329	\ensuremath{\langle}
U+232A	\ensuremath{\rangle}
U+2254	\ensuremath{\coloneqq}