von Stammgast » Fr 4. Mär 2022, 16:28
Wie zu vielen anderen Themen gibt es auf
CTAN auch eine Liste, in der
Pakete für Logik zu finden sind. Die jeweilige Anleitung sollte Klarheit schaffen, welches Paket für die gewünschte Ausgabe das passende ist.
Sofern ein Paket im TeX-System bereits installiert ist, befindet sich seine Anleitung auch auf dem Rechner und kann in der Kommandozeile über »
texdoc« abgerufen werden.
Wie zu vielen anderen Themen gibt es auf [url=https://ctan.org]CTAN[/url] auch eine Liste, in der [url=https://ctan.org/topic/logic]Pakete für Logik[/url] zu finden sind. Die jeweilige Anleitung sollte Klarheit schaffen, welches Paket für die gewünschte Ausgabe das passende ist.
Sofern ein Paket im TeX-System bereits installiert ist, befindet sich seine Anleitung auch auf dem Rechner und kann in der Kommandozeile über »[url=https://ctan.org/pkg/texdoc]texdoc[/url]« abgerufen werden.