[追記]本編 形容詞「複」「多」と箙〈えびら〉 - 檜山正幸のキマイラ飼育記 に書いた。[/追記]圏、複圏（マルチ圏）、多圏（ポリ圏）はまーいい用語法だと思う。これに対応させて、グラフ、複グラフ、多グラフとしたいが、マルチグラフはマルチプルエッジ（…

https://coq.inria.fr/library/Coq.Init.Notations.html より： Reserved Notation "x -> y" (at level 99, right associativity, y at level 200). Reserved Notation "x <-> y" (at level 95, no associativity). Reserved Notation "x ∧\ y" (at level 80…