prettier theorem printing