If we were to try to do it by introducing a mark into the argument pieces for instance by writing '(G,G).F(G,G)' it would not be adequate: we should not be able to establish the identity of the variables.