Update rotation vector and rotation matrix notation in spec examples