public void SetLigature(FixedCharAtom ligatureAtom) { this.Atom = ligatureAtom; this.Type = TexAtomType.None; this.IsTextSymbol = false; }