[Orgmode] Rendering of => and -> as arrows in exports?

[Geralt]

Hi,

I'd like it if => and -> would be exported as if they were \Rightarrow
and respectively \rightarrow.
Of course it should be optional (but I think enabled by default is
what most people desire). What do you think?

Rendering auf <- could be treated in that way, too but <= is also
lower-equal and therefore I suggest to not render it as an arrow,
besides I don't think that the left-arrows are commonly used in
plain-text.




Geralt.