Precedes

The relationship $x$ precedes $y$ is written $x\prec y$. The relation $x$ precedes or is equal to $y$ is written $x\preceq y$.

See also Succeeds