add refs and fix a bug (noted by Peter Gammie) in docs of arrow notation