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