prettier printing for theorems