Symbol |
Description |
LaTeX Command (in math mode) |
Nuprl LaTeX Command |
Nuprl Index |
Unicode (hex) or HTML Command |
⊢ |
turnstile |
\vdash |
\mvdash{} |
140 |
⊢ |
∃ |
there exists |
\exists |
\mexists{} |
163 |
∃ |
∀ |
for all |
\forall |
\mforall{} |
162 |
∀ |
∧ |
and |
\wedge |
\mwedge{} |
146 |
∧ |
∨ |
or |
\vee |
\mvee{} |
173 |
∨ |
¬ |
not |
\neg |
\mneg{} |
147 |
¬ |
|
|
|
|
|
|
→ |
right arrow |
\rightarrow |
\mrightarrow{} |
|
→ |
⇒ |
right double arrow |
\Rightarrow |
\mRightarrow{} |
137 |
⇒ |
← |
left arrow |
\leftarrow |
\mleftarrow{} |
|
← |
⇐ |
left double arrow |
\Leftarrow |
\mLeftarrow{} |
135 |
⇐ |
⇌ |
right over left harpoons |
\rightleftharpoons |
\mrightleftharpoons{} |
165 |
⇌ |
↑ |
up arrow |
\uparrow |
\muparrow{} |
153 |
↑ |
↓ |
down arrow |
\downarrow |
\mdownarrow{} |
143 |
↓ |
|
|
|
|
|
|
∩ |
cap |
\cap |
\mcap{} |
160 |
∩ |
∪ |
cup |
\cup |
\mcup{} |
161 |
∪ |
|
|
|
|
|
|
⌈ |
left ceiling |
\lceil |
\mkleeneopen{} |
138 |
⌈ |
⌉ |
right ceiling |
\rceil |
\mkleeneclose{} |
139 |
⌉ |
|
|
|
|
|
|
∈ |
element of |
\in |
\mmember{} |
148 |
∈ |
⊂ |
subset of |
\subset |
\msubset{} |
158 |
⊂ |
⊆ |
subset of or equal to |
\subseteq |
\msubseteq{} |
185 |
⊆ |
⊃ |
superset of |
\supset |
\msupset{} |
159 |
⊃ |
⊇ |
superset of or equal to |
\supseteq |
\msupseteq{} |
186 |
⊇ |
|
|
|
|
|
|
∫ |
integral |
\int |
\mint{} |
|
∫ |
∂ |
partial differential |
\partial |
\mpartial{} |
157 |
∂ |
∞ |
infinity |
\infty |
\minfty{} |
156 |
∞ |
|
|
|
|
|
|
α |
alpha |
\alpha |
\malpha{} |
144 |
α |
β |
beta |
\beta |
\mbeta{} |
145 |
β |
δ |
delta |
\delta |
\mdelta{} |
152 |
δ |
ϵ |
straight epsilon |
\epsilon |
\mepsilon{} |
|
ϵ |
γ |
gamma |
\gamma |
\mgamma{} |
151 |
γ |
λ |
lambda |
\lambda |
\mlambda{} |
150 |
λ |
π |
pi |
\pi |
\mpi{} |
149 |
π |
ρ |
rho |
\rho |
\mrho{} |
193 |
ρ |
Σ |
capital sigma |
\Sigma |
\mSigma{} |
177 |
Σ |
Π |
capital pi |
\Pi |
\mPi{} |
179 |
Π |
Δ |
capital delta |
\Delta |
\mDelta{} |
178 |
Δ |
|
|
|
|
|
|
< |
less than |
< |
< |
n/a |
< |
≤ |
less than or equal to |
\leq |
\mleq{} |
170 |
≤ |
> |
greater than |
> |
> |
n/a |
> |
≥ |
greater than or equal to |
\geq |
\mgeq{} |
171 |
≥ |
≠ |
not equal to |
\neq |
\mneq{} |
168 |
≠ |
≡ |
identical to |
\equiv |
\mequiv{} |
172 |
≡ |
|
|
|
|
|
|
× |
multiplication |
\times |
\mtimes{} |
180 |
× |
÷ |
division |
\div |
\mdiv{} |
181 |
÷ |
± |
plus or minus |
\pm |
\mpm{} |
154 |
± |
⊕ |
circled plus |
\oplus |
\moplus{} |
155 |
⊕ |
⊗ |
circled times |
\otimes |
\motimes{} |
164 |
⊗ |
⋅ |
dot operator |
\cdot |
\mcdot{} |
142 |
⋅ |
⋄ |
diamond operator |
\diamond |
\mdiamond{} |
169 |
⋄ |
∼ |
tilde operator |
\sim |
\msim{} |
|
∼ |
|
|
|
|
|
|
ℙ |
double-struck P |
\mathbb{P} | \mBbbP{} |
128 |
ℙ |
ℝ |
double-struck R |
\mathbb{R} | \mBbbR{} |
129 |
ℝ |
ℕ |
double-struck N |
\mathbb{N} | \mBbbN{} |
130 |
ℕ |
ℂ |
double-struck C |
\mathbb{C} | \mBbbC{} |
131 |
ℂ |
ℚ |
double-struck Q |
\mathbb{Q} | \mBbbQ{} |
132 |
ℚ |
ℤ |
double-struck Z |
\mathbb{Z} | \mBbbZ{} |
133 |
ℤ |
U |
bold U |
\mathbb{U} | \mBbbU{} |
134 |
<b>U</b> |
B |
bold B |
\mathbb{B} | \mBbbB{} |
192 |
<b>B</b> |
|
|
|
|
|
|
\ |
backslash |
\backslash |
\mbackslash{} |
|
\ |
{} |
braces |
{} |
{} |
|
{} |
superscript + |
superscript + |
^+ | \msupplus{} |
182 |
<sup>+</sup> |
superscript - |
superscript - |
^- | \msupminus{} |
183 |
<sup>-</sup> |
superscript 0 |
superscript 0 |
^{0} | \msupzero{} |
184 |
<sup>0</sup> |
subscript 0 |
subscript 0 |
_{0} | \msubzero{} |
187 |
<sub>0</sub> |
subscript 1 |
subscript 1 |
_{1} | \msubone{} |
188 |
<sub>1</sub> |
subscript 2 |
subscript 2 |
_{2} | \msubtwo{} |
189 |
<sub>2</sub> |
subscript 3 |
subscript 3 |
_{3} | \msubthree{} |
190 |
<sub>3</sub> |
subscript a |
subscript a |
_{a} | \msuba{} |
194 |
<sub>a</sub> |
subscript b |
subscript b |
_{b} | \msubb{} |
196 |
<sub>b</sub> |
subscript c |
subscript c |
_{c} | \msubc{} |
198 |
<sub>c</sub> |
subscript q |
subscript q |
_{q} | \msubq{} |
195 |
<sub>q</sub> |
subscript z |
subscript z |
_{z} | \msubz{} |
197 |
<sub>z</sub> |