These macros are derived from Knuth’s macros (separately transcribed here), by an unknown hand.
The author is unknown.
License: noinfo Version dated: 1992-08-27 Catalogued: 2012-06-20
These macros are derived from Knuth’s macros (separately transcribed here), by an unknown hand.
The author is unknown.
License: noinfo Version dated: 1992-08-27 Catalogued: 2012-06-20