x_{1} (sequence) is the concatenation of sequences x_{2} and x_{3} (and x_{4}, x_{5}, ...)

x_{1} is a string composed of exactly substrings which are the various x_{i}'s (i>1) in the order of increasing i value, starting with i=2, without skipping. See also: porsi. Operator/connective: joi'i.