/info/digests/tex88/exotex/
../
diatop.tex
exotex.tex
greek.tex