"3"^^ . . . . . . . . "Boole algebra"@nl .