What is the ∷ (Proportion) Symbol? Meaning, History, & Uses
The proportion symbol ∷ (U+2237) is a mathematical operator made up of four dots arranged in a square. In mathematics, it expresses a proportional relationship between two ratios, often read aloud as "as." For example, the equation "A : B ∷ C : D" translates to "A is to B as C is to D." Beyond traditional math, this quad-dot character sometimes appears in typography, coding contexts, and logic notation.
Mathematician William Oughtred first introduced the four-dot proportion symbol in the 17th century. He used it in his 1631 text "Clavis Mathematicae" to streamline the way scholars wrote out complex ratio problems. Before standard equal signs took over global math curriculums, Oughtred's ∷ was the go-to way to show that two fractions or ratios held the exact same value.
In the digital world, this symbol lives in the Mathematical Operators Unicode block at code point U+2237, officially named PROPORTION. While you might be tempted to just type two standard colons side-by-side (::) to save time, the true ∷ character is a single typographical unit. This ensures the dots stay perfectly spaced and aligned without breaking across lines in text editors or word processors.
Today, you will spot ∷ in standardized testing, analogies, and advanced geometry textbooks. In programming, developers frequently use the double-colon equivalent for scope resolution in C++ or type signatures in Haskell. While source code generally sticks to ASCII, some modern programming fonts feature coding ligatures that visually transform two typed colons into the sleek, unified ∷ symbol. On social media, internet users sometimes repurpose the four dots purely for aesthetic text decoration or custom bullet points.
Typing the proportion symbol requires a few quick shortcuts. On Windows, hold down the Alt key and type 8759 on your numeric keypad. Mac users can enable the Unicode Hex Input keyboard and press Option+2237. If you are building a website, drop in the HTML entity ∷ to display it perfectly on any screen.
It is easy to confuse ∷ with similar dot-based characters. The standard colon (:) represents a single ratio, while the therefore symbol (∴) and because symbol (∵) arrange three dots into triangles for logical proofs. There is also the historical four-dot punctuation mark (⸬), which ancient scribes used to separate words long before the modern spacebar existed.