Rendering TeX in cool 8-bit font