added Notation.php const definitions