-2002-12-04 Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
+
+2002-12-09 André Pönitz <poenitz@gmx.net>
+
+ * symbols: support for \implies and \dots
+
+2002-12-04 Jean-Marc Lasgouttes <jean-marc.lasgouttes@inria.fr>
* configure.m4: remove epsi format
widetilde decoration none
# dots
+dots dots none
cdots dots none
ddots dots none
dotsb dots none
\def\longleftarrow{\leftarrow\kern-9.5mu\lyxbar}
\def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
\def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
+\def\implies{\Longrightarrow}
\def\mapsto{\mapstochar\kern-9mu\rightarrow}
\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-9.5mu\rightarrow}
\def\models{\vert\kern-7mu\lyxeq}