The Rodin Keyboard Unicode translation uses the following symbol combinations, which do not conform to the Rodin manual 2.3 (page 62, B.4 Binary Operators), to Event-B summary (5.2 Functions) :
(This is reported by Michael Leuschel in the Rodin User Mailing List)
The easiest solution is to have the Rodin Keyboard support both style of combinations as the current (shorter) ones will be more convenient to use.
Best
Fix appear in [176e85] and will be available in Rodin 3.3.0.
Related Commit: [176e85]