. "3"^^ . . . . . . . "conditional implication operation"@en .