子群 [G:H] 指标的正确符号

Question

从印刷角度来看，哪个更“正确”：$[G:H]$或$[G \mathbin{:} H]？此符号出现在子组/子模块的索引中或字段扩展的程度中。