There, too, the conjugate symmetry is stated as \left<x,y\right> = \overline{\left<y,x\right>}, but I don't really understand what the conjugate means when we're not talking about complex numbers.
That's interesting. So the conjugate can exist for non-complex numbers. Do I have to define it...