"halfopen interval"@nl . "3"^^ . . . . . . . .