LaTeX support for the TeX book symbols
