Source TeX:
\succ