Comment by mr_vile

the symbols compose in both directions and are aware of tacit parameters, so I don't really think your summary is even remotely correct