TeX source

TeX source:: 80a