"infimum"@nl . "3"^^ . . . . . . . .