HomeSearchLibrary
Rotation operator (vector space) | OmniWiki