[TUHS] Re: Typesetting Mathematics by Kernighan and Cherry, retypeset