add examples to 'arithmetic', clean up Q4 and SO3 man files