the equivalence operator should not be a logical operator

[adrienrougny]

Target

Specification

Issue type

Bug

Bug report

Level and version
Level: 1
Version: 2.0

Section and page
Section: 2.9.4
Page: 40

Bug description

The equivalence operator is listed as a logical operator, although it should not be.
Equivalence here relates to the equivalence relation, not to the equivalence logical operator (whose symbol is more commonly "<->" or "<=>").

Proposed solution

Place the equivalence operator glyph as an individual glyph, outside of the logical operators section.