Some basic simple formulas with pretty printing.