orígen TeX:
\preceq x