*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
Symbol | Description | LaTeX | command Command (in math mode) | Nuprl LaTeX Command | command Nuprl Index | Unicode ( | hexadecimalhex) | or HTML | command 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 |
| turnstile | & | \mvdash{} | ⊢ |