WIRIS MathML docs testsuite:strictcontent:arithmeticalgebralogic https://www.mathml.com/ 2026-04-05T10:52:30+00:00 WIRIS MathML docs https://www.mathml.com/ https://www.mathml.com/lib/tpl/wirismml/images/favicon.ico text/html 2015-12-22T12:19:26+00:00 arithmetic_1 https://www.mathml.com/testsuite/strictcontent/arithmeticalgebralogic/arithmetic_1?rev=1450786766&do=diff arithmetic_1 ab + c Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) text/html 2015-12-22T12:19:26+00:00 arithmetic_2 https://www.mathml.com/testsuite/strictcontent/arithmeticalgebralogic/arithmetic_2?rev=1450786766&do=diff arithmetic_2 2x + ab Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) text/html 2015-12-22T12:19:26+00:00 arithmetic_3 https://www.mathml.com/testsuite/strictcontent/arithmeticalgebralogic/arithmetic_3?rev=1450786766&do=diff arithmetic_3 x + yz + z Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) text/html 2015-12-22T12:19:26+00:00 arithmetic_4 https://www.mathml.com/testsuite/strictcontent/arithmeticalgebralogic/arithmetic_4?rev=1450786766&do=diff arithmetic_4 x(a / b + c) - 1 Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) text/html 2015-12-22T12:19:26+00:00 logic5 https://www.mathml.com/testsuite/strictcontent/arithmeticalgebralogic/logic5?rev=1450786766&do=diff logic5 not (forall s in S where f(s) is in T) = (there exists s in S) Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) text/html 2015-12-22T12:19:26+00:00 logic6 https://www.mathml.com/testsuite/strictcontent/arithmeticalgebralogic/logic6?rev=1450786766&do=diff logic6 not (forall s in S where f(s) is in T) = (there exists s in S such that f(s) is not in T) Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) text/html 2015-12-22T12:19:26+00:00 logic7 https://www.mathml.com/testsuite/strictcontent/arithmeticalgebralogic/logic7?rev=1450786766&do=diff logic7 not (forall s in S where f(s) is in T) = (there exists s in S such that f(s) is not in T) Uses the deprecated <reln> element Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) text/html 2015-12-22T12:19:26+00:00 ArithmeticAlgebraLogic https://www.mathml.com/testsuite/strictcontent/arithmeticalgebralogic/start?rev=1450786766&do=diff ArithmeticAlgebraLogic