"3"^^ . . . . . . "Boolean ring"@en . . .