html-entity
∷
HTML named character reference ∷ maps to U+2237.
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).