. "logic symbols"@en . "3"^^ . . . . . . .