TeX source:
18=18