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 |
|
\mBbbP{} |
128 |
|
||
ℝ |
double-struck R |
|
\mBbbR{} |
129 |
|
||
ℕ |
double-struck N |
|
\mBbbN{} |
130 |
|
||
ℂ |
double-struck C |
|
\mBbbC{} |
131 |
|
||
ℚ |
double-struck Q |
|
\mBbbQ{} |
132 |
|
||
ℤ |
double-struck Z |
|
\mBbbZ{} |
133 |
|
||
U |
bold U |
|
\mBbbU{} |
134 |
|
||
B |
bold B |
|
\mBbbB{} |
192 |
|
||
|
|
|
|
|
|
||
\ |
backslash |
\backslash |
\mbackslash{} |
|
\ |
||
{} |
braces |
{} |
{} |
|
{} |
||
superscript + |
superscript + |
|
\msupplus{} |
182 |
|
||
superscript - |
superscript - |
|
\msupminus{} |
183 |
|
||
superscript 0 |
superscript 0 |
|
\msupzero{} |
184 |
|
||
subscript 0 |
subscript 0 |
|
\msubzero{} |
187 |
|
||
subscript 1 |
subscript 1 |
|
\msubone{} |
188 |
|
||
subscript 2 |
subscript 2 |
|
\msubtwo{} |
189 |
|
||
subscript 3 |
subscript 3 |
|
\msubthree{} |
190 |
|
||
subscript a |
subscript a |
|
\msuba{} |
194 |
|
||
subscript b |
subscript b |
|
\msubb{} |
196 |
|
||
subscript c |
subscript c |
|
\msubc{} |
198 |
|
||
subscript q |
subscript q |
|
\msubq{} |
195 |
|
||
subscript z |
subscript z |
|
\msubz{} |
197 |
|