Example ex4-039

Prev: ex4-038

Next: ex4-040

x 3

<math>
<lambda>
  <bvar><ci> x </ci></bvar>
  <cn> 3 </cn>
</lambda>
</math>