TeX source:

0 ;