# Notation for "incommensurate" elements?

Say that $x\wedge y\not=x,y$, that is neither $x\leq y$ nor $y\leq x$.

Is there a way to denote this? I've been saying $x<>y$ but that's completely made up.

If you don't want to use $\parallel$ you might try $\not\lessgtr$ (\not\lessgtr) or something that looks better, maybe $\,|\!\!\!\!\!\lessgtr$. This would complement the usage of $\lessgtr$ for comparability.
Note that $a\perp b$ in the context of lattice ordered groups usually means $|a|\wedge |b| = 1$ (the neutral element, while $|a| = (a\vee 1)^{-1}(a\vee 1)$ ).
The term is usually incomparable; the notation that I have seen for incomparability is $x\parallel y$.
Comparability of $x$ and $y$ is then denoted by $x\perp y$.
• I’ve seen the $x\|y$ notation for incomparability, but not $x\bot y$ for comparability. In the context of partial orders $P$ used in forcing I’ve seen $p\bot q$ used to mean that there is no $r\in P$ such that $r\le p$ and $r\le q$; $p$ and $q$ are then said to be incompatible. Sep 3, 2013 at 5:12