Use blahtex for everything