El conectivo lógico de la implicación recíproca ← es en realidad el mismo que el condicional material con las premisas cambiadas, luego el símbolo de implicación es recripoca es redundante.