Source TeX:
\prec