The contragradient_rep:

• D~(g)=Transpose(D(g^))
• D~(g)ab=D(g^)ba

D~(g1)D~(g2)=D~(g1g2)

D unitary => Transpose(D(g^))=D(g)*