Ideas.Text.OpenMath.Dictionary.List1
list1List
mapSymbol
suchthatSymbol
listSymbol