prev  ( testsuite > Content > ArithmeticAlgebraLogic > forall > forall2  )  next

Alternatives: (mml file)  (full) (simple) (plain) (form) (slideshow)
File:Content/ArithmeticAlgebraLogic/forall/forall2
CVS-ID:
Author:Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)
Description:forall

Sample Rendering:

Created by: webeq

Your browser's rendering:

x

Source Code:


    <math xmlns="http://www.w3.org/1998/Math/MathML">
      <apply>
        <forall/>
        <bvar>
          <ci>x</ci>
        </bvar>
      </apply>
    </math>