Vilken av dessa symboler läses "om och endast om"?