Example exc-157

Prev: exc-156

Next: exc-158

x x B f x

<math>
<apply><product/>
  <bvar><ci> x </ci></bvar>
  <condition><apply> <in/><ci> x </ci><ci type="set"> B </ci></apply></condition>
  <apply><ci> f </ci><ci> x </ci></apply>
</apply>
</math>