Reckoning

Reckoning / Number / Symbols

Number · 59 signs

Mathematical symbols

Most of these signs are younger than printing. Each was proposed by one writer, competed with rivals for decades, and won because it was easy to set in type and hard to misread. The table gives each sign’s meaning, an example, its exact Unicode character, and its first known use where the history is well documented.

Find a sign

SignMeaningExampleUnicodeFirst use
Arithmetic and relations
+plus, add3 + 4 = 7U+002B
plus sign
printed by Johann Widman, 1489
−minus, subtract (not the hyphen)7 − 4 = 3U+2212
minus sign
printed by Johann Widman, 1489
×times; also the vector product3 × 4 = 12U+00D7
multiplication sign
William Oughtred, Clavis mathematicae, 1631
⋅times; the scalar (dot) producta ⋅ bU+22C5
dot operator
÷divided by12 ÷ 4 = 3U+00F7
division sign
Johann Heinrich Rahn, Teutsche Algebra, 1659
/divided by, ratio (the IAU and ISO prefer it to ÷)m/sU+002F
solidus
=is equal to2 + 2 = 4U+003D
equals sign
Robert Recorde, The Whetstone of Witte, 1557
≠is not equal to1 ≠ 2U+2260
not equal to
≡is identically equal to; congruent to (modulo)−16 ≡ 9 (mod 5)U+2261
identical to
congruence: Carl Friedrich Gauss, 1801
≈is approximately equal toπ ≈ 3.14U+2248
almost equal to
≅is congruent to (geometry); also asymptotically equal△ABC ≅ △DEFU+2245
approximately equal to
∼is of the order of; is similar ton! ∼ √(2πn)(n/e)ⁿU+223C
tilde operator
∝is proportional toF ∝ 1/r²U+221D
proportional to
<is less than2 < 3U+003C
less-than sign
Thomas Harriot, Artis analyticae praxis, 1631
>is greater than3 > 2U+003E
greater-than sign
Thomas Harriot, Artis analyticae praxis, 1631
≤is less than or equal tox ≤ 1U+2264
less-than or equal to
≥is greater than or equal ton ≥ 0U+2265
greater-than or equal to
≪is much less thanm ≪ MU+226A
much less-than
≫is much greater thanR ≫ rU+226B
much greater-than
±plus or minus9.81 ± 0.02U+00B1
plus-minus sign
Albert Girard 1626 (with “ou”); William Oughtred 1631
→tends to, approaches; maps tox → 0U+2192
rightwards arrow
∞infinity1/x → ∞U+221E
infinity
John Wallis, De sectionibus conicis, 1655
√square root√9 = 3U+221A
square root
Christoff Rudolff, Coss, 1525
!factorial: 1 × 2 × … × n5! = 120U+0021
exclamation mark
Christian Kramp, 1808
%per hundred5 % = 0.05U+0025
percent sign
‰per thousand (salinity, gradients)35 ‰U+2030
per mille sign
Analysis
∑sum of termsΣ k = n(n+1)/2U+2211
n-ary summation
Leonhard Euler, 1755 (as the Greek Σ)
∏product of termsn! = Π kU+220F
n-ary product
∫integral (a long S for summa)∫ x dx = x²/2 + CU+222B
integral
Gottfried Leibniz, manuscript of 29 October 1675
∂partial derivative∂f/∂xU+2202
partial differential
∇gradient (del) operator∇TU+2207
nabla
∆finite change, difference (written as capital delta)Δt = t₂ − t₁U+2206
increment
Geometry
∠angle∠ABC = 90°U+2220
angle
Pierre Hérigone used < for angle, 1634; the open form ∠ came later
⊥is perpendicular toAB ⊥ CDU+22A5
up tack
Pierre Hérigone, Cursus mathematicus, 1634
∥is parallel toAB ∥ CDU+2225
parallel to
vertical bars for parallel from the 1670s (Kersey and others)
△triangle△ABCU+25B3
white up-pointing triangle
°degree of arc (1/360 of a turn)45°U+00B0
degree sign
′minute of arc (1/60 degree)12′U+2032
prime
″second of arc (1/60 minute)30″U+2033
double prime
∴thereforeU+2234
therefore
∵becauseU+2235
because
Sets and logic
∈is an element of3 ∈ ℕU+2208
element of
∉is not an element of½ ∉ ℤU+2209
not an element of
⊂is a subset ofℕ ⊂ ℤU+2282
subset of
∪unionA ∪ BU+222A
union
∩intersectionA ∩ BU+2229
intersection
∅the empty setA ∩ ∅ = ∅U+2205
empty set
∀for all∀x: x² ≥ 0U+2200
for all
∃there exists∃x: x² = 2U+2203
there exists
¬not¬pU+00AC
not sign
∧andp ∧ qU+2227
logical and
∨orp ∨ qU+2228
logical or
⇒impliesp ⇒ qU+21D2
rightwards double arrow
⇔if and only ifp ⇔ qU+21D4
left right double arrow
ℕnatural numbersU+2115
double-struck capital n
ℤintegers (German Zahlen)U+2124
double-struck capital z
ℚrational numbers (quotients)U+211A
double-struck capital q
ℝreal numbersU+211D
double-struck capital r
ℂcomplex numbersU+2102
double-struck capital c

Unicode names are checked against the Unicode Character Database when the site is built. First uses: A History of Mathematical Notations, 2 vols (1928–1929); a blank means the origin is uncertain or was not checked. Sign list for scientific writing: The IAU Style Manual (1989), sections 5.15, 5.223 and 5.25, 5.223; current standard: ISO 80000-2:2019, Quantities and units, Part 2: Mathematics.

Constants written as letters

LetterValueMeaningFirst use
π3.141 592 653 589 793…ratio of a circle’s circumference to its diameterWilliam Jones, Synopsis palmariorum matheseos, 1706; made standard by Euler
e2.718 281 828 459 045…base of natural logarithmsLeonhard Euler: manuscript of 1727 or 1728, in print 1736
i√−1imaginary unitLeonhard Euler, memoir of 1777 (published 1794)

Variables are set in italic type; these fixed constants are printed upright in the ISO convention (π, e, i), as are units and functions such as sin and log.

Then and now

Until the 1500s most algebra was written out in words: “the thing” for the unknown, “is equal to” spelled in full. The equals sign appeared in 1557 because, as Recorde wrote, no two things can be more equal than a pair of parallel lines. Some signs lost their contest: Harriot’s 1631 “<” for “less than” beat Hérigone’s use of the same mark for an angle three years later, and the angle sign was reshaped. The IAU style manual of 1989 still allows × only between numbers, not in symbolic formulae, where a dot is preferred.