This article is about a convention that is followed in this wiki. The aim is that every page on the wiki follows this convention unless explicitly stated otherwise on the page; however, in practice, this may not have been implemented
Also see switching between the left and right action conventions for background on the differences between various conventions.
In Groupprops, the notation always denotes , followed by . In other words, if , and are maps, then denotes the composite map from to .
This convention for function composition also explains the corresponding convention for group action.