. . . "logisches Symbol"@de . "3"^^ . . . . . .