Page History

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