TeX source:
5 ( x