Si formula_26 y formula_33, se escribe formula_34, que se lee "formula_23 implica y es implicada por formula_24", o bien "formula_23 si y sólo si formula_24".