QMath Context File arith1

This is a browser-friendly view of the QMath context arith1.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.

|| Extracted form the arith1 content-dictionary
||      http://www.openmath.org/cd/arith1.html
|| http://www.openmath.org/cd/arith1.ocd

Symbol: abs                     APPLICATION     "arith1:abs"
Symbol: divide                  OP_PROD         "arith1:divide"
Symbol: /                       OP_PROD         "arith1:divide"
Symbol: ÷                       OP_PROD         "arith1:divide"
Symbol: gcd                     APPLICATION     "arith1:gcd"
Symbol: lcm                     APPLICATION     "arith1:lcm"
Symbol: minus                   OP_PLUS         "arith1:minus"
Symbol: -                       OP_PLUS         "arith1:minus"
Symbol: plus                    OP_PLUS         "arith1:plus"
Symbol: +                       OP_PLUS         "arith1:plus"
Symbol: power                   OP_EXP          "arith1:power"
Symbol: ^                       OP_EXP          "arith1:power"
Symbol: product                 APPLICATION     "arith1:product"
Symbol: ∏                       APPLICATION     "arith1:product"
Symbol: root                    APPLICATION     "arith1:root"
Symbol: √                       APPLICATION     "arith1:root"
Symbol: sum                     APPLICATION     "arith1:sum"
Symbol: ∑                       APPLICATION     "arith1:sum"
Symbol: times                   OP_PLUS         "arith1:times"
Symbol: ×                       OP_PROD         "arith1:times"
Symbol: ∙                       OP_PROD         "arith1:times"
Symbol: unary_minus             APPLICATION     "arith1:unary_minus"