ag-gipp/GoUldI

<?xml version="1.0" ?>
<math type="pom-exported">
  <expression prime-tag="sequence">
    <term prime-tag="letter" secondary-tags="Latin">F</term>
    <expression prime-tag="underscore" secondary-tags="subscript_operation">
      <expression prime-tag="sequence" secondary-tags="subscript">
        <term prime-tag="letter" secondary-tags="Latin">n</term>
        <term prime-tag="plus">+</term>
        <term prime-tag="digit" secondary-tags="numeric">1</term>
      </expression>
    </expression>
    <term prime-tag="equals">=</term>
    <term prime-tag="operator">\sum</term>
    <expression prime-tag="underscore" secondary-tags="subscript_operation">
      <expression prime-tag="sequence" secondary-tags="subscript">
        <term prime-tag="letter" secondary-tags="Latin">k</term>
        <term prime-tag="relation">\leq</term>
        <term prime-tag="letter" secondary-tags="Latin">n</term>
      </expression>
    </expression>
    <expression prime-tag="binomial coefficient">
      <expression prime-tag="sequence" secondary-tags="top argument">
        <term prime-tag="letter" secondary-tags="Latin">n</term>
        <term prime-tag="minus">-</term>
        <term prime-tag="letter" secondary-tags="Latin">k</term>
      </expression>
      <term prime-tag="letter" secondary-tags="Latin">k</term>
    </expression>
    <term prime-tag="comma" secondary-tags="punctuation">,</term>
    <term prime-tag="controlled space">\quad</term>
    <term prime-tag="letter" secondary-tags="Latin">n</term>
    <term prime-tag="relation">\geq</term>
    <term prime-tag="digit" secondary-tags="numeric">0</term>
  </expression>
</math>