UML14 — Infix operator use should be clarified

Summary: Infix operators like "+" and "<" etc. are defined for built-in OCL types.
It is not explained whether you can
use these for user defined types. The proposal is to allow infix notation
for all of the
operators defined in OCL for used-defined types as well. If someone
defines the operation
"+(p : Person)"
on type Person, this can be used in OCL by
somePerson + anotherPerson.
instead of just by
somePerson.+(anotherPerson)
The OCL specification is not clear whether this is allowed or not.

Clarified in UML 1.3.