U+27E4 "⟤" White Square with Leftwards Tick Unicode Character
Unicode Version 17.0
U+27E4 "⟤" White Square with Leftwards Tick is a mathematical symbol used primarily in type theory, formal logic, and computer science to represent the concept of a "partial order" or a "monotone" relationship, often specifically denoting a "domain order" where an element is less than or equal to another within a structured set. Its distinctive design combines a hollow white square with a small tick or arrowhead extending leftward from its vertical side, visually suggesting a directional ordering or a one sided preference. This character is part of the Miscellaneous Mathematical Symbols A block in Unicode and is distinct from similar looking symbols like the "Up Tack" or "Down Tack," as its tick explicitly indicates a leftward directional implication, such as in defining partial functions or recursion schemes where certain elements are defined only after others.
General Properties
Encodings
| HTML Decimal Encoding |
⟤ |
| HTML Hex Encoding |
⟤ |
| UTF-8 Encoding |
0xE2 0x9F 0xA4 |
| UTF-16 Encoding |
0x27E4 |
| UTF-32 Encoding |
0x000027E4 |
| C/C++/Java Escape |
\u27e4 |
Unicode Properties