U+2237 "∷" Proportion Unicode Character

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.