Math Symbol カテゴリーの Unicode 文字の一覧をここから眺めることが出来る www.compart.com そしていくつかはその名前が "Z Notation ..." で始まっている。 これは Z 言語という形式言語のための記号として用意されている。例えば Z Notation はここから…