I want to know the answer to the following question:
What expressions are utilized when is really implied to be a longer expression?
All the background I'm provided with is that "Usually, it is clear from the context whether a symbol like G refers to a group or to an underlying set.". Is that enough to answer the question?
Answer: no