記法識別子 (きほうしきべつし) — notation identifier | Kumi Dictionary