prev | ( testsuite > StrictContent > ConstantsAndSymbols > true > rec-true1 ) | next |
Alternatives: | (mml file) (full) () () () () |
File: | StrictContent/ConstantsAndSymbols/true/rec-true1 |
CVS-ID: | |
Author: | MathML 2 Recommendation |
Description: | true |
Sample Rendering: |
JEuclids rendering:
Source Code:
<math xmlns="http://www.w3.org/1998/Math/MathML"> <apply> <csymbol cd="relation1">eq</csymbol> <apply> <csymbol cd="logic1">or</csymbol> <csymbol cd="logic1">true</csymbol> <ci>P</ci> </apply> <csymbol cd="logic1">true</csymbol> </apply> </math>