VDM-10 Language Manual

Appendix A. The Syntax of the VDM Languages
arithmetic plus = ‘+’ ;
arithmetic minus = ‘-’ ;
| not in set
| subset
| proper subset
| set union
| set difference
| set intersection
| sequence concatenate
| map or sequence modify
| map merge
| map domain restrict to
| map domain restrict by
| map range restrict to
| map range restrict by
| composition
| iterate ;
arithmetic multiplication = ‘*’ ;
arithmetic divide = ‘/’ ;
arithmetic integer division = ‘div’ ;
arithmetic rem = ‘rem’ ;
arithmetic mod = ‘mod’ ;
less than = ‘=’ ;
equal = ‘=’ ;
not equal = ‘’ ;
or = ‘or’ ;
and = ‘and’ ;
187