名前の構文ルールに笑った

• letter ::= 名前開始文字 = ラテン文字|ギリシャ文字
• 名前文字 ::= 名前開始文字|数字|"_"|"'"

ラテン文字とは普通の英字大文字小文字。まー、普通。

ところが、名前内に下付き添字（subscript）が使える。添字は範囲ではなくて、1文字ずつ前置マークアップする。

• a\<^sub>1\<^sub>1 → a₁₂