過去記事「矢印記号の使用法と読み方 2024」において、様々な矢印記号の意味・運用について述べました。構文論で使う矢印記号に関して、別な読み方・名前を追加して一覧表を再掲します。 矢印記号 読み方 別な読み方・名前 $`\Rightarrow`$ 含意〈implies〉 …