This is a browser-friendly view of the QMath context lc.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| [20010515 AGP] This is not yet implemented. I made this file just to contain || the following remark from Paul Libbrecht which was previously in || "math/OpenMath/fns1". || currently no mapsto possibility || we might translate ↦ as a binding operator