data/pom/68.xml
<?xml version="1.0" ?>
<math type="pom-exported">
<expression prime-tag="sequence">
<term prime-tag="letter" secondary-tags="Latin">P</term>
<expression prime-tag="underscore" secondary-tags="subscript_operation">
<term prime-tag="letter" secondary-tags="Latin">x</term>
</expression>
<term prime-tag="equals">=</term>
<term prime-tag="letter" secondary-tags="Latin">P</term>
<term prime-tag="minus">-</term>
<term prime-tag="left-brace" secondary-tags="opening delimiter">\{</term>
<term prime-tag="letter" secondary-tags="Latin">a</term>
<term prime-tag="relation">\mid</term>
<term prime-tag="letter" secondary-tags="Latin">a</term>
<term prime-tag="relation">\geq</term>
<term prime-tag="letter" secondary-tags="Latin">x</term>
<term prime-tag="right-brace" secondary-tags="closing delimiter">\}</term>
</expression>
</math>