Example exc-088

Prev: exc-087

Next: exc-089

x f x 0

<math>
<apply><exists/>
  <bvar><ci>x</ci></bvar>
  <apply><eq/>
    <apply><ci>f</ci>
      <ci>x</ci>
    </apply>
    <cn>0</cn>
  </apply>
</apply>
</math>