rec-true1

true

W3C sample	WIRIS
	$\mbox{true}\lor P=\mbox{true}$

<math xmlns="http://www.w3.org/1998/Math/MathML">
  <apply>
    <eq/>
    <apply>
      <or/>
      <true/>
      <ci type="logical">P</ci>
    </apply>
    <true/>
  </apply>
</math>

Author: MathML 2 Recommendation