Re: [Rodin-b-sharp-user] representations of maths symbols

[Laurent V. <lau...@sy...>]

Jeremy,

Le 27 mai 09 à 13:16, Jeremy Bryans a écrit :

> http://wiki.event-b.org/index.php/ASCII_Representations_of_the_Mathematical_Symbols_(Rodin_User_Manual)
>
> states that -->> is the ascii representation of a total surjective  
> function, but my I find that typing ->> produces the correct symbol,  
> while -->> produces a dash followed by the correct symbol.
>
> Similarly, +>> gives a symbol for a partial srujective function,  
> rather than +->>.

This was a mistake in the wiki.  Also note that the ASCII shortcuts  
are directly available in the Rodin platform.  To display them, click  
"Help > Dynamic Help", then in the help window, click "All Topics" in  
the bottom. Finally, select "Event-B Keyboard User Guide > Getting  
Started > Special Combos".  This will display all the ASCII shortcuts  
for the mathematical symbols.

IMPORTANT NOTE: There is a defect with Rodin 0.9.2.1 which prevents  
the images of math symbols to appear.  This has been fixed since and  
will be available in Rodin 1.0.0 to come very soon.

Laurent.