"Sequence of characters of form distexet" . . . . . . . . . .