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