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