public void SetLigature(FixedCharAtom ligatureAtom) { Atom = ligatureAtom; Type = TexAtomType.None; IsTextSymbol = false; }
public static DummyAtom CreateLigature(FixedCharAtom ligatureAtom) => new DummyAtom(TexAtomType.None, ligatureAtom, false);