prev next
File: Content/ArithmeticAlgebraLogic/not/rec-not3.xml (mml file)
MathML Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner),
Braile Author: WME Group(WME Website)
Description: not (forall s in S)
Sample Rendering:
Created by: webeq

Your browser's rendering:

s s S


Source Code:

    <math>
      <apply>
        <not/>
        <apply>
          <forall/>
          <bvar>
            <ci>s</ci>
          </bvar>
          <condition>
            <apply>
              <in/>
              <ci>s</ci>
              <ci>S</ci>
            </apply>
          </condition>
        </apply>
      </apply>
    </math>
  

Test Suite Home


Braille Code:


Braille Dot: