An example of content markup

(X Í Y) ® ((X Ì Y) Ú (X = Y))

  <m:apply>
    <m:csymbol>arrow</m:csymbol>
    <m:apply>
      <m:subset/>
      <m:ci>X</m:ci>
      <m:ci>Y</m:ci>
    </m:apply>
    <m:apply>
      <m:or/>
      <m:apply>
        <m:prsubset/>
        <m:ci>X</m:ci>
        <m:ci>Y</m:ci>
      </m:apply>
      <m:apply>
        <m:eq/>
        <m:ci>X</m:ci>
        <m:ci>Y</m:ci>
      </m:apply>
    </m:apply>
  </m:apply>