Is there a symbol in order theory to express that an element is "equal" in order than another even if both elements are not the same element?
Basically: $ \exists a,b \in A : (a \preceq b) \land (b \preceq a) \land (a \neq b) $
Also, is there a symbol to say two elements are incomparable?