OCL231 — Issue nnnn: Japan PAS Ballot Comment 9 (ocl2-rtf) Section 7.4.8

Whereas there are some infix operator definitions in later document, this list of infix operators isn’t described sufficient. For example, there is ‘>’ definition on 7.6.1. However, ‘>’ is not included in this list. Additionally, ‘=’ is defined on 11.6.1, 11.6.2, 11.6.4, 11.6.5. However, there isn’t ‘=’ on this list. By the way. ‘=’ is not defined for Integer, and Real. Is that no problem? Furthermore, “implies” definition could not be found. Add infix operator sufficiently. And, clarify the operator definition.

Not much of a title.
Section 7.5.8 is not normative so it is not necessary to enumerate every infix operator.
None of the logical operators, and, or, xor, implies are listed.
The "->" and "." tokens occur between their arguments and so could be regarded as infix, however navigation operators are not normally regarded as infix operators and so listing them would be more confusing than omitting them.
In most languages, "=" is not an infix operator, however in OCL it is, so omitting it when all other operators with punctuation spelling are listed is indeed a bit confusing.
(The punctuation of the list is dreadful.)
Issue 15009 introduces a missing section on "->" and "." operators.
Issue 14918 revises the definition of OclAny::= to be sensible for DataTypes.
implies is defined in 11.5.4