Code Editor : notationdecl.rb