Add ↔︎ with text variation selector as a notation for equivalence. - #311

Add ↔︎ with text variation selector as a notation for equivalence.#311

proux01 merged 5 commits into

rocq-prover:masterrocq-prover/stdlib:masterfrom

zacharie-moughanim:masterzacharie-moughanim/rocq-stdlib:masterCopy head branch name to clipboard