"3"^^ . . . . . . "ring van gehele getallen modulo 2"@nl . . .