What ∝ means
William Emerson introduced it in 1768. He used it as a compact sign for general proportion, the "varies as" relation, where earlier writers spelled proportions out with ratio signs.
Formal and technical: it says how quantities scale, not what they equal.
∝ is not =; it drops the constant on purpose.
Don't confuse it with
2Questions people ask
1Why does ∝ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
How to type ∝
∝\221DCodes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

