#762 Symbols for total and partial surjection

[Son Hoang]

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) :

• partial surjection +>> instead of +->>
• total surjection: ->> instead of -->>

(This is reported by Michael Leuschel in the Rodin User Mailing List)

[Son Hoang]

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

[Son Hoang]

Fix appear in [176e85] and will be available in Rodin 3.3.0.

Related Commit: [176e85]