Redefine inverse quaternion to conjugated quaternion, even though it is the same.
Redefine how quaternions are displayed.