+
+
+#
+# pre-defined macros
+#
+
+\def\longleftrightarrow{\leftarrow\kern-2mm\rightarrow}
+\def\Longleftrightarrow{\Leftarrow\kern-2mm\Rightarrow}
+\def\doteq{\stackrel{\cdot}{\=}}
+\def\longrightarrow{\lyxbar\kern-2mm\rightarrow}
+\def\longleftarrow{\leftarrow\kern-2mm\lyxbar}
+\def\mapsto{\mapstochar\kern-2mm\rightarrow}
+\def\longmapsto{\mapstochar\kern-2mm\lyxbar\kern-6mu\rightarrow}
+\def\Longrightarrow{\lyxeq\kern-2mm\Rightarrow}
+\def\Longleftarrow{\Leftarrow\kern-2mm\lyxeq}
+\def\models{\vert\kern-2mm\lyxeq}
+\def\hookrightarrow{\lhook\kern-2mm\rightarrow}
+\def\hookleftarrow{\leftarrow\kern-2mm\rhook}
+\def\bowtie{\triangleright\kern-2mm\triangleleft}
+\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
+\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
+\def\dasharrow{\dashrightarrow}
+\def\Join{\ltimes\kern-2mm\rtimes}
+\def\mathcircumflex{\mbox{\^{}}}
+#"{\hat{}}
+