This is a browser-friendly view of the QMath context integer1.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted form the integer1 content-dictionary || http://www.openmath.org/cd/integer1.html || http://www.openmath.org/cd/integer1.ocd Symbol: ! OP_FACT "integer1:factorial" Symbol: factor_of APPLICATION "integer1:factorof" Symbol: quot APPLICATION "integer1:quotient" Symbol: / APPLICATION "integer1:quotient" Symbol: rem APPLICATION "integer1:remainder" Symbol: \ APPLICATION "integer1:remainder"