IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
The Default Math Symbols Used for Latex
Of course, in the active Nuprl document, this table associates the ordinary Nuprl characters with Latex commands, which in the Latexized form are applied to produce the table simply associating Latex characters with Latex commands that generate them
_{c}
_{0}
_{b}
_{q}
_{a}
\rho
\mathbb{B}
_{3}
_{2}
_{1}
_{0}
\supseteq
\subseteq
^{\circ}
^{-}
^{+}
\div
\times
\Pi
\Delta
\Sigma
\rightarrow
\leftarrow
-
\rightarrow
\leftarrow
\vee
\equiv
\geq
\leq
\diamond
\neq
\rightarrow
\leftarrow
\rightleftharpoons
\otimes
\exists
\forall
\cup
\cap
\supset
\subset
\partial
\infty
\oplus
\pm
\uparrow
\delta
\gamma
\lambda
\pi
\in
\neg
\wedge
\beta
\alpha
\downarrow
\cdot
\int
\vdash
{\rceil}
{\lceil}
\Rightarrow
\Leftarrow\!
=
\Rightarrow
\Leftarrow\!
\Leftrightarrow
*
\ast
*
\ast\Leftrightarrow
\mathbb{U}
\mathbb{Z}
\mathbb{Q}
\mathbb{C}
\mathbb{N}
\mathbb{R}
\mathbb{P}
~
\sim
|
\mid
||
\parallel
...
\ldots\,
....
.\ldots
\
\backslash
>
>
<
<
%
\%
#
\#
$
\$
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
