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