Documentation for Notation development