¿Es la pre-superíndice una notación estándar para algo? Lo he encontrado en lo siguiente:
$$(a,g)(b,h) = (a + {}^gb + f(g,h), gh).$$
Esto se dio en relación con una fórmula para la multiplicación en el conjunto abeliano $A$ con extensión $G$ como $A$ X $G$ .