Start witing in the checking of the Notation in the NotationEditor