2011/1/8 C.M. Connelly <cmc at math.hmc.edu>: > To be called ``TeX'', an implementation has to pass a series of > tests (trip for TeX, trap for Metafont), which implies a > definition of a binary's functionality: Well, I believe pdftex could be made to pass the test. :-) Best Martin