Usaremos el símbolo de tres líneas horizontales paralelas ( ≡ ) para anotar equivalencia.