Finished Notation appendix