我尝试将 • 写成群 (G, •) 的二元运算，但\cdot似乎太小又\bullet太大，那么通常使用什么符号？
答案1
通常，这只是\cdot人们习惯的，在$(G,{\cdot})$我看来它并不小。
无论如何，如果你想要一个更大的点，你可以加载包\usepackage{bm} 在任何其他字体包之后，然后定义\newcommand\bigcdot{\bm{\cdot}}并使用它。
答案2
这是主题、受众和个人品味的问题。对于群运算，请考虑使用非对称二进制符号，如 \oslash，但可能不是箭头状符号，如 \triangleright，它表示映射。但如果 \oslash 通常与您所在领域的其他运算相关联，则可以使用另一个非对称符号。对于阿贝尔群运算，请考虑使用更对称的符号，如 \cdot、\ast、\bullet 等。
除非您按照内部规则工作，否则没有正确的方法，但使用图形方式暗示属性（例如不对称）或避免暗示未假设的属性（例如交换性）的符号会有所帮助。
考虑包括
\newcommand\gop{\mathbin{\oslash}}
然后您可以使用 a\gop b 并随意进行全局修改。