Index

testsuite:strictcontent:arithmeticalgebralogic:forall:forall2

forall2

forall

W3C sample WIRIS
[N/A] forall x
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <bind>
    <csymbol cd="quant1">forall</csymbol>
    <bvar>
      <ci>x</ci>
    </bvar>
  </bind>
</math>

Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)

testsuite/strictcontent/arithmeticalgebralogic/forall/forall2.txt · Last modified: 2015/12/22 12:19 (external edit)