Symbol fonts for TeX
