data/pom/246.xml
<?xml version="1.0" ?>
<math type="pom-exported">
<expression prime-tag="sequence">
<term prime-tag="alphanumeric">Con</term>
<term prime-tag="left parenthesis" secondary-tags="opening delimiter">(</term>
<term prime-tag="abbreviation">ZFC</term>
<term prime-tag="plus">+</term>
<term prime-tag="alphanumeric">IFS</term>
<expression prime-tag="underscore" secondary-tags="subscript_operation">
<expression prime-tag="sequence" secondary-tags="subscript">
<term prime-tag="letter" secondary-tags="Latin">W</term>
<term prime-tag="controlled space">\!</term>
<term prime-tag="alphanumeric">Ab</term>
<term prime-tag="controlled space">\,</term>
<term prime-tag="letter" secondary-tags="Latin">L</term>
<term prime-tag="left parenthesis" secondary-tags="opening delimiter">(</term>
<term prime-tag="letter" secondary-tags="Latin">V</term>
<expression prime-tag="underscore" secondary-tags="subscript_operation">
<term prime-tag="latex-command">\alpha</term>
</expression>
<term prime-tag="right parenthesis" secondary-tags="closing delimiter">)</term>
</expression>
</expression>
<term prime-tag="right parenthesis" secondary-tags="closing delimiter">)</term>
</expression>
</math>