orígen TeX:

\preceq  x