Software proprietari per produrre tabelle e libri in simboli