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