Vocabulary
記法宣言
きほうせんげん
notation declaration
noun