data/mathoid/246.mml
<math
xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="upper C o n left-parenthesis upper Z upper F upper C plus upper I upper F upper S Subscript upper W upper A b upper L left-parenthesis upper V Sub Subscript alpha Subscript right-parenthesis Baseline right-parenthesis">
<semantics>
<mrow data-semantic-type="infixop" data-semantic-role="implicit" data-semantic-id="40" data-semantic-children="0,1,2,36" data-semantic-content="37,38,39">
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="0" data-semantic-parent="40">C</mi>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="37" data-semantic-parent="40" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="1" data-semantic-parent="40">o</mi>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="38" data-semantic-parent="40" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="2" data-semantic-parent="40">n</mi>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="39" data-semantic-parent="40" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<mrow data-semantic-type="fenced" data-semantic-role="leftright" data-semantic-id="36" data-semantic-children="35" data-semantic-content="3,28" data-semantic-parent="40">
<mo stretchy="false" data-semantic-type="fence" data-semantic-role="open" data-semantic-id="3" data-semantic-parent="36" data-semantic-operator="fenced">(</mo>
<mrow data-semantic-type="infixop" data-semantic-role="addition" data-semantic-id="35" data-semantic-children="31,34" data-semantic-content="7" data-semantic-parent="36">
<mrow data-semantic-type="infixop" data-semantic-role="implicit" data-semantic-id="31" data-semantic-children="4,5,6" data-semantic-content="29,30" data-semantic-parent="35">
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="4" data-semantic-parent="31">Z</mi>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="29" data-semantic-parent="31" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="5" data-semantic-parent="31">F</mi>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="30" data-semantic-parent="31" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="6" data-semantic-parent="31">C</mi>
</mrow>
<mo data-semantic-type="operator" data-semantic-role="addition" data-semantic-id="7" data-semantic-parent="35" data-semantic-operator="infixop,+">+</mo>
<mrow data-semantic-type="infixop" data-semantic-role="implicit" data-semantic-id="34" data-semantic-children="8,9,27" data-semantic-content="32,33" data-semantic-parent="35">
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="8" data-semantic-parent="34">I</mi>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="32" data-semantic-parent="34" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="9" data-semantic-parent="34">F</mi>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="33" data-semantic-parent="34" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<msub data-semantic-type="subscript" data-semantic-role="latinletter" data-semantic-id="27" data-semantic-children="10,26" data-semantic-parent="34">
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="10" data-semantic-parent="27">S</mi>
<mrow class="MJX-TeXAtom-ORD" data-semantic-type="infixop" data-semantic-role="implicit" data-semantic-id="26" data-semantic-children="11,12,13,22" data-semantic-content="23,24,25" data-semantic-parent="27">
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="11" data-semantic-parent="26">W</mi>
<mspace width="negativethinmathspace"/>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="23" data-semantic-parent="26" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="12" data-semantic-parent="26">A</mi>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="24" data-semantic-parent="26" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="13" data-semantic-parent="26">b</mi>
<mspace width="thinmathspace"/>
<mo data-semantic-type="operator" data-semantic-role="multiplication" data-semantic-id="25" data-semantic-parent="26" data-semantic-added="true" data-semantic-operator="infixop,"></mo>
<mrow data-semantic-type="appl" data-semantic-role="simple function" data-semantic-id="22" data-semantic-children="14,20" data-semantic-content="21,14" data-semantic-parent="26">
<mi data-semantic-type="identifier" data-semantic-role="simple function" data-semantic-font="italic" data-semantic-id="14" data-semantic-parent="22" data-semantic-operator="appl">L</mi>
<mo data-semantic-type="punctuation" data-semantic-role="application" data-semantic-id="21" data-semantic-parent="22" data-semantic-added="true" data-semantic-operator="appl"></mo>
<mrow data-semantic-type="fenced" data-semantic-role="leftright" data-semantic-id="20" data-semantic-children="18" data-semantic-content="15,19" data-semantic-parent="22">
<mo stretchy="false" data-semantic-type="fence" data-semantic-role="open" data-semantic-id="15" data-semantic-parent="20" data-semantic-operator="fenced">(</mo>
<msub data-semantic-type="subscript" data-semantic-role="latinletter" data-semantic-id="18" data-semantic-children="16,17" data-semantic-parent="20">
<mi data-semantic-type="identifier" data-semantic-role="latinletter" data-semantic-font="italic" data-semantic-id="16" data-semantic-parent="18">V</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi data-semantic-type="identifier" data-semantic-role="greekletter" data-semantic-font="italic" data-semantic-id="17" data-semantic-parent="18">α
<!-- α -->
</mi>
</mrow>
</msub>
<mo stretchy="false" data-semantic-type="fence" data-semantic-role="close" data-semantic-id="19" data-semantic-parent="20" data-semantic-operator="fenced">)</mo>
</mrow>
</mrow>
</mrow>
</msub>
</mrow>
</mrow>
<mo stretchy="false" data-semantic-type="fence" data-semantic-role="close" data-semantic-id="28" data-semantic-parent="36" data-semantic-operator="fenced">)</mo>
</mrow>
</mrow>
<annotation encoding="application/x-tex">Con(ZFC+IFS_{W\!Ab\,L(V_{\alpha })})</annotation>
</semantics>
</math>