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