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 |
|