También pueden ser una abreviatura de la proposición bicondicional en inglés.