On Sun, 11 Dec 2011, Philipp A. wrote:

> apart from this IMHO very useful change (mapping  to \int), maybe we should
> create a unicode-math module which replaces some commands with symbols. i
> find myself always using this for chemical and mathematical documents:
>
> \catcode`→=\active
> \def→{\xrightarrow}
> \catcode`↔=\active
> \def↔{\xleftrightarrow}
> \catcode`√=\active
> \def√{\sqrt}

Have a look at char-def.lua. All the symbol mappings are defined there. 
Please feel free to complete the table (it is a boring and time consuming 
process, and I have only managed to cover about half of the table).

Regarding your mappings, IIRC -> etc are mapped to \rightarrow etc, (not 
\xrightarrow). We can talk about including style variants for the 
mappings.

Aditya