[texhax] \write17?

Philip Taylor P.Taylor at Rhul.Ac.Uk
Sat Oct 20 23:57:10 CEST 2018

David Carlisle wrote:
>> DEK makes specific reference to it in The TeXbook :
>> An `|\immediate\write16|' differs from ^|\message| ....
> sure but that's just an example not specifying a convention that
> people should do that more generally,

Well,, whether or not it was "just an example", I think that many have (justifiably) interpreted it as a precedent.  After all, Knuth is a mathematician (amongst a million other things) and could equally have written  "An `|\immediate\write$n$n, for $n>15$ ..." had he not intended to set a precedent ...
Philip Taylor

More information about the texhax mailing list