update ex 1.1.2, revise Prefix Notation section