mathmlben/data/mathematical/246.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>
         <mi>C</mi>
         <mo>+</mo>
         <mi>I</mi>
         <mi>F</mi>
         <msub>
            <mi>S</mi> 
            <mrow>
               <mi>W</mi>
               <mspace width="negativethinmathspace"/>
               <mi>A</mi>
               <mi>b</mi>
               <mspace width="thinmathspace"/>
               <mi>L</mi>
               <mo stretchy="false">(</mo>
               <msub>
                  <mi>V</mi> 
                  <mi>α</mi>
               </msub>
               <mo stretchy="false">)</mo>
            </mrow>
         </msub>
         <mo stretchy="false">)</mo>
      </mrow>
      <annotation encoding="application/x-tex">Con(ZFC+IFS_{W\!Ab\,L(V_{\alpha})})</annotation>
   </semantics>
</math>