. . "ring of integers modulo two"@en . "3"^^ . . . . . .