Gyrocommutative gyrogroup

Definition
A gyrogroup $$G$$ with gyromultiplication $$*$$ and gyroautomorphism $$\operatorname{gyr}$$ is defined to be gyrocommutative if:

$$a * b = \operatorname{gyr}([a,b])(b * a) \ \forall \ a,b \in G$$