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)