U+227A "≺" Precedes Unicode Character

U+227A "≺" Precedes is a mathematical relational symbol used primarily in set theory, order theory, and logic to indicate that one element comes before another in a specified ordering, such as in a partially ordered set or a well ordering. It visually resembles a less than sign but is distinct and typically indicates a relation that is not necessarily numerical, often appearing in contexts like lattice theory or the study of ideals and filters. This character is separate from the similar looking "precedes" symbol in the mathematical operator range and is encoded under the "Mathematical Operators" block, where it functions as a binary relation. Its glyph is designed to be symmetric and clear in technical documents, supporting precise notation in advanced mathematics and computer science when discussing precedence relations.