Ideas.Text.OpenMath.Symbol

type Symbol

Constructor functions

makeSymbol

extraSymbol

Selector functions

dictionary

symbolName

Utility function

showSymbol