; TeX output 1988.07.01:1154l'