Pi

[Grzegorz Bancerek <bancerek@cs.shinshu-u.ac.jp>]

Hi,

The format
  pi 0 1   (pi x)
should be changed rather to
  Pi x    or      Product x

In contradistinction to sigma in Extended ASCII
there is only small pi.  This was a reason that
small pi was used for products.
We mean the definitions:
  CARD_3:def 8
  FVSUM_1:def 9
  GROUP_4:def 3
  RVSUM_1:def 11

Regards,
Andrzej Trybulec & Grzegorz Bancerek