Ideas.Text.OpenMath.Dictionary.Fns1
fns1List
domainofapplicationSymbol
domainSymbol
rangeSymbol
imageSymbol
identitySymbol
leftInverseSymbol
rightInverseSymbol
inverseSymbol
leftComposeSymbol
lambdaSymbol