Text this: Rotations, quaternions, and double groups /