static SymbolAtom() { var symbolParser = new TexSymbolParser(); symbols = symbolParser.GetSymbols(); validSymbolTypes = new BitArray(16); validSymbolTypes.Set((int)TexAtomType.Ordinary, true); validSymbolTypes.Set((int)TexAtomType.BigOperator, true); validSymbolTypes.Set((int)TexAtomType.BinaryOperator, true); validSymbolTypes.Set((int)TexAtomType.Relation, true); validSymbolTypes.Set((int)TexAtomType.Opening, true); validSymbolTypes.Set((int)TexAtomType.Closing, true); validSymbolTypes.Set((int)TexAtomType.Punctuation, true); validSymbolTypes.Set((int)TexAtomType.Accent, true); }