≁, ⇔ = estes dois símbolos devem ser usados conforme o Graceli os utiliza, e não de outros usos pela álgebra.