Display:

$\mbox{true}\lor P=\mbox{true}$

Source:

<apply>
     <eq/>
     <apply>
          <or/>
          <true/>
          <ci type="logical">P</ci>
     </apply>
     <true/>
</apply>