This is a browser-friendly view of the QMath context fns1.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted from content-dictionary fns1 || http://www.openmath.org/cd/fns1.html || http://www.openmath.org/cd/fns1.ocd Symbol: dom APPLICATION "fns1:domain" Symbol: appdom APPLICATION "fns1:domainofapplication" Symbol: I APPLICATION "fns1:identity" Symbol: img APPLICATION "fns1:image" Symbol: im APPLICATION "fns1:image" Symbol: inv APPLICATION "fns1:inverse" Symbol: lambda BINDING "fns1:lambda" Symbol: λ BINDING "fns1:lambda" Symbol: compose OP_PROD "fns1:left_compose" Symbol: ∘ OP_PROD "fns1:left_compose" Symbol: linv APPLICATION "fns1:left_inverse" Symbol: range APPLICATION "fns1:range" Symbol: rinv APPLICATION "fns1:right_inverse"