"1"^^ . . . . . . . "if-and-only-if operation"@en . .