#but you'll pry lambda-calculus' function application notation from my cold dead arms

[notarealwelder]

Suppose you have 2 paths p : x ↝ y and q : y ↝ z. What's a better symbol for their concatenation, the path (p ? q) : x ↝ z?

(That is to say, we have 2 continuous functions p,q : [0;1] → X, with endpoints p 0 = x, p 1 = q 0 = y, q 1 = z. )