Concatenation

Input: Concatenation(A, B)
$$A ^\frown B$$

Concatenation of tuples.

Input: Equal(Concatenation(Tuple(a, b), Tuple(c, d, e), Tuple()), Tuple(a, b, c, d, e))
$$\left(a, b\right) ^\frown \!\left(c, d, e\right) ^\frown \!\left(\right) = \left(a, b, c, d, e\right)$$

Concatenation of multiple tuples.

Last updated: 2020-03-06 00:22:16