>I don't like the proposed arrow notation, since it reads naturally as "goes
>to" or "becomes" or "maps into", none of which are any more true than @

Plus, the -> notation is already used to create Associations (which fall 
into the "maps into" category, above).



     -- tim