From a new version of preprint of my book:
Corollary 7.18
If $latex f$ and $latex g$ are composable reloids, then
$latex g \circ f = \bigsqcup \left\{ G \circ F \, | \, F \in
\mathrm{atoms}\, f, G \in \mathrm{atoms}\, g \right\}$.
Several math research monographies
From a new version of preprint of my book:
Corollary 7.18
If $latex f$ and $latex g$ are composable reloids, then
$latex g \circ f = \bigsqcup \left\{ G \circ F \, | \, F \in
\mathrm{atoms}\, f, G \in \mathrm{atoms}\, g \right\}$.