User:Jon Awbrey/SYMBOL

Formula Help

• Mathematical formulas
• Mathematical symbols

Character Codes

• HTML ASCII Characters
• XML Unicode Database

Mathematical Symbols

This page is a quick reference for the "standard" mathematical symbols in HTML that should work on most browsers, and is intended mainly for people editing mathematical articles on Wikipedia.

• Numbers: Template:Unicode ¼ ½ ¾ ¹ ² ³
• Analysis: Template:Unicode ∂ ∫ ∑ ∏ √ ∞ ∇ ℘ ℑ ℜ
• Arrows: Template:Unicode ← ↓ → ↑ ↔ ↵ ⇐ ⇓ ⇒ ⇑ ⇔
• Logic: Template:Unicode ¬ ∧ ∨ ∃ ∀
• Sets: Template:Unicode ∈ ∉ ∋ ∅ ⊆ ⊇ ⊃ ⊂ ⊄ ∪ ∩ ℵ
• Relations: Template:Unicode ≠ ≤ ≥ < > ≡ ≅ ≈ ∝
• Binary operations: Template:Unicode ± − × ÷ ⁄ ⊥ ⊕ ⊗ ∗
• Delimiters: Template:Unicode ⌈ ⌉ ⌊⌋ ⟨ ⟩ « »
• Miscellaneous: Template:Unicode † ¦ ∠ ∴ ◊ • ♠ ♣ ♥ ♦
• Punctuation: Template:Unicode ′ ″ ‾ ˆ ° ⋅ · … – —
• Spacing: thin ( ), n-width ( ), m-width ( ), and non-breaking spaces ( ).        
• Greek: α β γ Α Β Γ etc. α β γ Α Β Γ etc.
• Unicode: ⊢ (for example) gives the character ⊢ with unicode number x22A2 (hexadecimal). Warning: many of the more obscure unicode characters do not yet work on all browsers.

It might be easier to just copy and paste the symbols instead of using them by reference.

See Also

• The List of XML and HTML character entity references gives a longer list of HTML characters.

• TeX on Wikipedia

• Table of mathematical symbols, Mathematical alphanumeric symbols

• Mathematical Markup Language

External Links

• List of HTML codes

• List of HTML entity codes
• Hypertext Markup Language ASCII codes
• Huge collection of symbols, most of which probably do not work on many web browsers.
• Unicode character name index — finds the Unicode number of a character.
• W3C list of MathML characters indexed by code or name

Bytes & Parses

·	·
'''·'''	·
<code>&middot;</code>	·
<code>'''&middot;'''</code>	·
&sdot;	⋅
'''&sdot'''	⋅
<code>&sdot;</code>	⋅
<code>'''&sdot;'''</code>	⋅
&bull;	•
&lowast;	∗
&loz;	◊
{{unicode|&middot;}}	Template:Unicode
{{unicode|&sdot;}}	Template:Unicode
{{unicode|&bull;}}	Template:Unicode
{{unicode|&lowast;}}	Template:Unicode
{{unicode|&loz;}}	Template:Unicode
\(\cdot\)	\(\cdot\)
\(\cdot\!\)	\(\cdot\!\)
&isin;	∈
&epsilon;	ε
\(\in\)	\(\in\)
\(\in\!\)	\(\in\!\)
\(\epsilon\)	\(\epsilon\)
\(\epsilon\!\)	\(\epsilon\!\)
\(\varepsilon\)	\(\varepsilon\)
\(\varepsilon\!\)	\(\varepsilon\!\)
&eta;	η
\(\eta\)	\(\eta\)
\(\eta\!\)	\(\eta\!\)
&theta;	θ
\(\theta\)	\(\theta\)
\(\theta\!\)	\(\theta\!\)
\(\vartheta\)	\(\vartheta\)
\(\vartheta\!\)	\(\vartheta\!\)
&chi;	χ
\(\chi\)	\(\chi\)
\(\chi\!\)	\(\chi\!\)

x = x_J = ¢(J) = J¢ = J ¢ = J^¢ = J ^¢

x = x_J = ¢(J) = J¢ = J ¢ = J^¢ = J ^¢

Display

New

W

:

(

[

Bn

]

→

[

Bk

]

)

→

(

[

Bn

×

Dn

]

→

[

Bk

×

Dk

]

)

.

Concrete type

\(\epsilon\)

:

(

U•

→

X•

)

→

(

EU•

→

X•

)

Abstract type

\(\epsilon\)

:

(

[Bn]

→

[Bk]

)

→

(

[Bn × Dn]

→

[Bk]

)

Concrete type

W

:

(

U•

→

X•

)

→

(

EU•

→

dX•

)

Abstract type

W

:

(

[Bn]

→

[Bk]

)

→

(

[Bn × Dn]

→

[Dk]

)

\(\epsilon\)F

:

(

EU•

→

X•

⊆

EX•

)

\(\cong\)

(

[Bn × Dn]

→

[Bk]

⊆

[Bk × Dk]

)

WF

:

(

EU•

→

dX•

⊆

EX•

)

\(\cong\)

(

[Bn × Dn]

→

[Dk]

⊆

[Bk × Dk]

)

Old

W

:

(

[

Bn

]

→

[

Bk

]

)

→

(

[

Bn

×

Dn

]

→

[

Bk

×

Dk

]

)

.

Concrete type

\(\epsilon\)

:

(

U•

→

X•

)

→

(

EU•

→

X•

)

Abstract type

\(\epsilon\)

:

(

[Bn]

→

[Bk]

)

→

(

[Bn × Dn]

→

[Bk]

)

Concrete type

W

:

(

U•

→

X•

)

→

(

EU•

→

dX•

)

Abstract type

W

:

(

[Bn]

→

[Bk]

)

→

(

[Bn × Dn]

→

[Dk]

)

\(\epsilon\)F

:

(

EU•

→

X•

⊆

EX•

)

\(\cong\)

(

[Bn × Dn]

→

[Bk]

⊆

[Bk × Dk]

)

WF

:

(

EU•

→

dX•

⊆

EX•

)

\(\cong\)

(

[Bn × Dn]

→

[Dk]

⊆

[Bk × Dk]

)

Epitext

Rosebud

Rosebud

Rosebud

Gallery

’

`´

′

‹ ›

〈 〉

( )

( , )

A = {ai} = {a1, …, an}

A = 〈A〉 = 〈a1, …, an〉= {‹a1, …, an›}

A^ = (A → B)

A• = [A] = [a1, …, an]

dA = {dai} = {da1, …, dan}

dA = 〈dA〉 = 〈da1, …, dan〉= {‹da1, …, dan›}

dA^ = (dA → B)

dA• = [dA] = [da1, …, dan]

EA = A ∪ dA = {ai} ∪ {dai} = {a1, …, an, da1, …, dan}

EA = 〈EA〉 = 〈a1, …, an, da1, …, dan〉= {‹a1, …, an, da1, …, dan›}

EA^ = (EA → B)

EA• = [EA] = [a1, …, an, da1, …, dan]

X = {xi} = {x1, …, xn}

X = 〈X〉 = 〈x1, …, xn〉= {‹x1, …, xn›}

X^ = (X → B)

X• = [X] = [x1, …, xn]

dX = {dxi} = {dx1, …, dxn}

dX = 〈dX〉 = 〈dx1, …, dxn〉= {‹dx1, …, dxn›}

dX^ = (dX → B)

dX• = [dX] = [dx1, …, dxn]

X = {xi} = {x1, …, xn}

X = 〈X〉 = 〈x1, …, xn〉= {‹x1, …, xn›}

X^ = (X → B)

X• = [X] = [x1, …, xn]

f : B^k → B

f : Bⁿ → B

f^–1

Pow(X) = 2^X

Arbitrary	→	Bn → B	X → B
Basic	¸>	Bn ¸> B	X ¸> B
Linear	+>	Bn +> B	X +> B
Positive	¥>	Bn ¥> B	X ¥> B
Singular	××>	Bn ××> B	X ××> B

The linear propositions, {hom : Bⁿ → B} = (Bⁿ +> B), may be expressed as sums of the following form:

\[\textstyle \sum_{i=1}^n e_i = e_1 + \ldots + e_n \ \mbox{where} \ \forall_{i=1}^n \ e_i = a_i \ \mbox{or} \ e_i = 0.\]

The positive propositions, {pos : Bⁿ → B} = (Bⁿ ¥> B), may be expressed as products of the following form:

\[\textstyle \prod_{i=1}^n e_i = e_1 \cdot \ldots \cdot e_n \ \mbox{where} \ \forall_{i=1}^n \ e_i = a_i \ \mbox{or} \ e_i = 1.\]

The singular propositions, {x : Bⁿ → B} = (Bⁿ ××> B), may be expressed as products of the following form:

\[\textstyle \prod_{i=1}^n e_i = e_1 \cdot \ldots \cdot e_n \ \mbox{where} \ \forall_{i=1}^n \ e_i = a_i \ \mbox{or} \ e_i = (a_i) = \lnot a_i.\]

I = {1, …, n}.

J ⊆ I

J ⊆ I

A_J

A_J

l_J : B^k → B

\(\ell_J : \mathbb{B}^k \to \mathbb{B}\)

θ : (Kⁿ → K) → K

\(\theta\) : (Kⁿ → K) → K

\(\theta\!\) : (Kⁿ → K) → K

\(\vartheta\) : (Kⁿ → K) → K

\(\vartheta\!\) : (Kⁿ → K) → K

\(\chi\!\) : X → \(\bigcup_x \ \chi_x\!\)

\(\chi\!\) : Kⁿ → ((Kⁿ → K) → K)

\(\chi\!\) : (Kⁿ → K) → (Kⁿ → K)

\(\cong\)

\(\lceil x \rceil\)

xi(x)	χ(x ∈ Li)	\(\lceil x \in L_i \rceil\)	Li(x)
xi(x)	\(\chi (x \in L_i)\)	\(\lceil x \in L_i \rceil\)	Li(x)

‹0, 0, 0›	‹0, 0, 0›
‹0, 0, 1›	‹0, 0, 1›
‹0, 1, 0›	‹0, 1, 0›
‹0, 1, 1›	‹0, 1, 1›
‹1, 0, 0›	‹1, 0, 0›
‹1, 0, 1›	‹1, 0, 1›
‹1, 1, 0›	‹1, 1, 0›
‹1, 1, 1›	‹1, 1, 1›