≺

See also: ⊀

≺ U+227A, ≺ PRECEDES ← ≹ [U+2279] Mathematical Operators ≻ → [U+227B]

Translingual

Symbol

≺

1. (set theory) A generic strict order relation.
2. (logic) is an elementary substructure of