the Matita manual is now convertible to a decent .tex that is processable both

[helm.git] / share / texmf / unicode / config / matita.ucf

diff --git a/share/texmf/unicode/config/matita.ucf b/share/texmf/unicode/config/matita.ucf
new file mode 100644 (file)
index 0000000..73ebba0
--- /dev/null
+++ b/share/texmf/unicode/config/matita.ucf
@@ -0,0 +1,11 @@
+
+# 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}
+