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