(TXT) erato-def.tex
 (TXT) henel-def.tex
 (TXT) kaprekar-def.tex
 (TXT) knuth-def.tex