Go backward to 2 Basic Datatypes
Go up to Top
Go forward to 4 A Specification of Real Numbers
We make frequent use of the following annotations, which we discuss
separately in the study note "Annotations and Literal Syntax in
Although these annotations describe important properties, the
following specifications remain correct if the annotations are
interpreted as comments.
- Annotations on extensions:
- Annotations concerned with the precedence of mixfix symbols:
where a precedence list consists of at most one precedence relation of
id1, ..., idn < idn+1, ..., idn+k,
n > 1, k > 1.
- Annotations on associativity of mixfix symbols:
- %left assoc
- %right assoc
Note: M-7 -- Version: 0.2 -- 13 April 1999.
Comments to firstname.lastname@example.org