FMP.Symbols
data Symbols
data SymPoint
data SymNum
symUnion3
symUnions
symName
symNames
symHier
symTrans
addPDef
addNDef
symPUnions
symPName
symPNames
symPHier
symPTrans
symNUnions
symNName
symNNames
symNHier
symNHiers