[math-fun] Orthogonal group generators