Since these are synonyms in LaTeX, it seems reasonable that typing \gets in mathed should produce a left-pointing arrow (and perhaps it should even be represented by \leftarrow in the document; I'm not sure whether it's preferable to map two commands to one symbol or turn one command into another). -- http://www.cl.cam.ac.uk/users/rrt1001/ | maxim, n. wisdom for fools
