A font with built-in TeX syntax highlighting