Vocabulary
記法識別子
きほうしきべつし
notation identifier
noun