whops, always print tex