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}
PS: i recently posted two questions to this list which i got no replies to: “simplefonts: math in headers” and “headers: numberconversion=something or \definestructureconversionset”
do you see them or did they get lost in transmission?