mathmlben/data/mathematical/227.mml

Visualization for goldstandard

<?xml version="1.0" encoding="UTF-8"?>
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
   <semantics xmlns="">
      <mrow>
         <mi>C</mi>
         <mi>o</mi>
         <mi>n</mi>
         <mo stretchy="false">(</mo>
         <mi>Z</mi>
         <mi>F</mi>
         <mo>+</mo>
         <mo>¬</mo>
         <mi>A</mi>
         <mi>C</mi>
         <mo stretchy="false">)</mo>
      </mrow>
      <annotation encoding="application/x-tex">Con(ZF+\neg AC)</annotation>
   </semantics>
</math>