dots dots none
cdots dots none
ddots dots none
-dotsb dots none
-dotsc dots none
-dotsi dots none
-dotsm dots none
-dotso dots none
+dotsb dots none amsmath
+dotsc dots none amsmath
+dotsi dots none amsmath
+dotsm dots none amsmath
+dotso dots none amsmath
ldots dots none
vdots dots none
deg lyxblacktext 0 0 func x
bmod lyxblacktext 0 0 func x
-{ mathnormal 0 0 special x
-} mathnormal 0 0 special x
-$ mathnormal 0 0 special x
-% mathnormal 0 0 special x
-& mathnormal 0 0 special x
-## don't remove the space from the beginning of the next line
- # mathnormal 0 0 special x
-
#
\def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
\def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
\def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
-\def\implies{\Longrightarrow}
+\def\implies{\Longrightarrow} amsmath
\def\mapsto{\mapstochar\kern-9mu\rightarrow}
\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
\def\models{\vert\kern-7mu\lyxeq}
iffont msb
\def\Join{\ltimes\kern-18.5mu\rtimes}
endif
-\def\mathcircumflex{\mbox{\^{}}}{\^}
# Fixme: latin-1 chars in text file
\def\AA{\AA}{Å}
\def\O{\O}{Ø}