TeX source:
US$