mathmlben
Version:
Visualization for goldstandard
44 lines (43 loc) • 842 B
text/mathml
<math
xmlns='http://www.w3.org/1998/Math/MathML'>
<semantics>
<mrow>
<mi>C</mi>
<mo>⁢</mo>
<mi>o</mi>
<mo>⁢</mo>
<mrow>
<mi>n</mi>
<mo>⁡</mo>
<mo>(</mo>
<mrow>
<mrow>
<mo>¬</mo>
<mi>AC</mi>
</mrow>
<mo>+</mo>
<mi>ZF</mi>
</mrow>
<mo>)</mo>
</mrow>
</mrow>
<annotation-xml encoding='MathML-Content'>
<apply>
<times />
<ci>C</ci>
<ci>o</ci>
<apply>
<ci>n</ci>
<apply>
<plus />
<apply>
<not />
<ci>AC</ci>
</apply>
<ci>ZF</ci>
</apply>
</apply>
</apply>
</annotation-xml>
</semantics>
</math>