\preccurlyeqThe symbol \preccurlyeq is used to denote a relation that is a refinement or a more specific version of the partial order relation \preceq. It is often used in contexts where elements are compared in terms of a hierarchy, such as in lattice theory or order theory, indicating that one element is less than or equal to another in a specific structured way.
Element 'a' is less than or equal to element 'b' in a specific order relation.
a \preccurlyeq bChain of elements where each is related by the \preccurlyeq relation.
x \preccurlyeq y \preccurlyeq zOrder-preserving function under the \preccurlyeq relation.
p \preccurlyeq q \Rightarrow f(p) \preccurlyeq f(q)