This is LaTeX code:
[latex]
g \cdot^\tau h:= h\cdot g, \ \forall g,h \in G.
[/latex]