Coq/symbols

googlability の低い記号たちの解説

->

~

not

<->

iff