En Lógica y en matemáticas los símbolos empleados para denotar el bicondicional son formula_2,formula_3 y ≡.