Example exc-153
Prev:
exc-152
Next:
exc-154
<math> <apply><cartesianproduct/> <reals/> <reals/> <reals/> </apply> </math>