With the above understanding, it is very common to avoid writing α entirely, and to replace it with either a dot, or with nothing at all. Thus, α (g, x) can be shortened to g ⋅ x or gx, especially when the action is clear from context. The axioms are then