Font for LaTeX support for the TeX book symbols
