iiintop esint 005 0 mathop x esint
iiiint esint 007 0 mathop x esintoramsmath
iiiintop esint 007 0 mathop x esint
-dotsint esint 009 0 mathop x esint
-dotsintop esint 009 0 mathop x esint
oint esint 011 0 mathop x esint
ointop esint 011 0 mathop x esint
oiint esint 013 0 mathop x esint
sqintop esint 015 0 mathop x esint
sqiint esint 017 0 mathop x esint
sqiintop esint 017 0 mathop x esint
+dotsint esint 019 0 mathop x esint
+dotsintop esint 019 0 mathop x esint
ointctrclockwise esint 023 0 mathop x esint
ointctrclockwiseop esint 023 0 mathop x esint
ointclockwise esint 025 0 mathop x esint
\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}