TeX source:
||=8