Que significa el símbolo corresponde y no corresponde???

 igualdad igual a todos

x = y significa: x y y son nombres diferentes para precisamente la misma cosa.

1 + 2 = 6 − 3

:=

≡

:⇔

definición se define como todos

x := y o x ≡ y significa: x se define como otro nombre para y (notar, sin embargo, que ≡ puede también significar otras cosas, como congruencia)

P :⇔ Q significa: P se define como lógicamente equivalente a Q

cosh x := (1/2)(exp x + exp (−x)); A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B

corona plis