Syntax definition cupword

Description: Extend class notation to include the set of strictly increasing sequences.

	Ref	Expression
Assertion	cupword	Could not format assertion : No typesetting found for class UpWord S with typecode class