Source TeX:
\rceil