> Note: I am introducing a nonstandard notion here \\(x \triangleright y\\) to mean \\(x;y\\) = x-then-y = \\(y \circ x\\) = y-after-x. The triangle reads nicely to show that the output of morphism x gets fed into the input of morphism y. It's a left-to-right pipeline of morphisms.

In `Control.Arrow` in Haskell there's `>>>`, which is a left-to-right composition of morphisms. You can write this in \\(\LaTeX\\) as \\(\ggg\\) or `\ggg`.

In `Control.Arrow` in Haskell there's `>>>`, which is a left-to-right composition of morphisms. You can write this in \\(\LaTeX\\) as \\(\ggg\\) or `\ggg`.