U+27E4 "⟤" White Square with Leftwards Tick Unicode Character

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.