If we were to try it by introducing a mark in the argument places, like “ ( G , G ) . F ⁡ ( G , G ) ”, it would not do⁠—we could not determine the identity of the variables, etc.

All these ways of symbolizing are inadequate because they have not the necessary mathematical multiplicity.