Example ex4-143

Prev: ex4-142

Next: ex4-144

x x D f x

<math>
<apply>
  <int/>
  <bvar>
    <ci> x </ci>
  </bvar>
  <condition>
    <apply><in/>
      <ci> x </ci>
      <ci type="set"> D </ci>
    </apply>
  </condition>
  <apply><ci type="fn"> f </ci>
    <ci> x </ci>
  </apply>
</apply>
</math>