Adjective
gyrocommutative (not comparable) (mathematics, of a gyrogroup) Whose binary operation obeys a ⊕ {\displaystyle \oplus } b = gyr[a, b](b ⊕ {\displaystyle \oplus } a).