html-entity
∝
HTML named character reference ∝ maps to U+221D.
Prefer a named reference when the character must survive encoding mistakes or is awkward to type. Numeric references (∝) are always valid HTML for the mapped code point(s).