0
$\begingroup$

Is there a common notation for expressing "comparability", viz. the symmetric closure $\leq \cup \geq$, where $\leq$ is a partial order?

$\endgroup$
1

1 Answer 1

1
$\begingroup$

My current preferred notation is $\gtreqless$.

@eepperly also pointed out that $\perp$ is common, but that seems somewhat overloaded (usually meaning falsum or more generally the bottom element of a lattice).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .