This is a browser-friendly view of the QMath context arith2.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| From OpenMath arith2 CD, || http://www.nag.co.uk/projects/openmath/omsoc/cdfiles/html/core/cd/arith2.html || http://www.openmath.org/cd/arith2.ocd Symbol: inverse_element APPLICATION "arith2:inverse" Symbol: commutative_times APPLICATION "arith2:times"