U+2237 "∷" Proportion Unicode Character
Unicode Version 17.0
∷
U+2237 "∷" Proportion is a mathematical symbol composed of two vertically stacked colons, used to denote a proportional relationship in various notational systems. It can appear in geometry and algebra to indicate that two ratios or quantities are equal, such as in the expression a ∷ b ∷ c, meaning a is to b as c is to d. In some contexts, it also serves as a separator for logical or mathematical statements, similar to how a double colon might be used in programming or formal notation. The symbol is distinct from the simpler colon character and is specifically encoded for mathematical typography to ensure clear and unambiguous representation in digital text.
General Properties
| Code Point | U+2237 |
| Version Added | 1.1 |
| Name | Proportion |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
Encodings
| HTML Decimal Encoding | ∷ |
| HTML Hex Encoding | ∷ |
| UTF-8 Encoding | 0xE2 0x88 0xB7 |
| UTF-16 Encoding | 0x2237 |
| UTF-32 Encoding | 0x00002237 |
| C/C++/Java Escape | \u2237 |