ag-gipp/GoUldI

<?xml version="1.0" ?>
<math type="pom-exported">
  <expression prime-tag="sequence">
    <term prime-tag="latex-command">\mu</term>
    <term prime-tag="left parenthesis" secondary-tags="opening delimiter">(</term>
    <term prime-tag="letter" secondary-tags="Latin">A</term>
    <term prime-tag="right parenthesis" secondary-tags="closing delimiter">)</term>
    <term prime-tag="equals">=</term>
    <expression prime-tag="multicase">
      <expression prime-tag="case">
        <term prime-tag="digit" secondary-tags="numeric">1</term>
        <expression prime-tag="sequence">
          <term prime-tag="text"> if </term>
          <term prime-tag="digit" secondary-tags="numeric">0</term>
          <term prime-tag="relation">\in</term>
          <term prime-tag="letter" secondary-tags="Latin">A</term>
        </expression>
      </expression>
      <expression prime-tag="case">
        <term prime-tag="digit" secondary-tags="numeric">0</term>
        <expression prime-tag="sequence">
          <term prime-tag="text"> if </term>
          <term prime-tag="digit" secondary-tags="numeric">0</term>
          <term prime-tag="relation">\notin</term>
          <term prime-tag="letter" secondary-tags="Latin">A</term>
        </expression>
      </expression>
    </expression>
  </expression>
</math>