note from The TeXbook