#
# We do it a bit differently and allow corrections only to combine a symbol
# and a char to a new symbol.
-#
#
-
+#
+
| , \lfloor
\lfloor * |,
| ' \lceil
\rceil * '|
\llbracket * [[*
\rrbracket * ]]*
-
+
\cap * \sqcap
\cup * \sqcup
\vee * \curlyvee
\curlyvee * \curlyveeuparrow
\curlyveeuparrow * \curlyveedownarrow
-
+
< / \nless
> / \ngtr
< = \leqslant
. > \gtrdot
\leqslant . \lesseqdot
\gtrdot = \gtreqdot
-
+
< * \prec
> * \succ
\prec / \nprec
\box | \boxbar
\box * \bullet
\bullet * \blacksquare
-
+
= * \asymp
\asymp * \equiv
\equiv * \asympasymp
\approx / \napprox
\simeq / \nsimeq
\cong / \ncong
-
-#| \|
+
+#| \|
| * \shortmid
\shortmid * \varshortmid
| | \||
* * \ast
\ast * \times
\times * \cdot
-
+
< * \subset
\subset * \in
\ / \nsubset
-\in * \sqsubset
+\in * \sqsubset
\subset = \subseteq
\subseteq / \nsubseteq
\subseteq * \subseteqq
\sqsubset * \langle
\langle * \leftslice
\leftslice * \subset
-
+
\subseteq / \nsubseteq
\subseteqq / \nsubseteqq
\nsubseteqq * \subsetneq
\supseteq / \nsupseteq
\supseteq * \supseteqq
\supseteq / \nsupseteq
-
-
+
+
\supseteqq / \nsupseteqq
\supseteq / \supsetneq
\supset + \supsetplus