26 Oct
2007
26 Oct
'07
1:01 p.m.
2007/10/25, Arthur Reutenauer
Not that I know of. I don't think there would be any benefit to it, though. Recall that the name TEX itself---all uppercase---was a trademark since a couple of years by the time TeX was created. Who remembers this typesetting system by the Honeywell company today?
Which is why "TeX" was never a real TM, just a "claimed" TM (according to bnb, who should know). Still luatex.com should have a pointer to luatex.org :-) Best Martin