Notation_system loading ...