Prettified formula