Example ex4-085

Prev: ex4-084

Next: ex4-086

J x x

<math>
<declare type="fn">
  <ci> J </ci>
  <lambda>
    <bvar><ci> x </ci></bvar>
    <apply><ln/>
      <ci> x </ci>
    </apply>
  </lambda>
</declare>
</math>