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