TeX64

Jeder LaTeX-Editor beantwortet am Ende dieselbe Frage: Was fügt er einem Texteditor plus latexmk hinzu? Die Antwort von TeX64 lautet drei Werkzeuge, die unmittelbar neben der Mathematik sitzen – Blocks, ein visueller Editor zum Zusammenbauen von Formeln ohne Auswendiglernen der Notation; Mathematik-OCR, die das Bild einer Formel auf dem Gerät selbst in LaTeX überführt; und Axiom, eine KI, die Änderungen als Diffs vorschlägt. Es ist eine Local-First-Desktopanwendung für macOS und Windows und setzt selbst nichts. Herausgegeben wird diese Referenz von Fermion Inc., dem Unternehmen hinter TeX64 – genau deshalb beschränkt sich diese Seite auf das, was sich im Repository und in den veröffentlichten Dokumenten belegen lässt, und enthält keine Werbetexte.

Was TeX64 ist – und was nicht

Zuerst: TeX64 ist keine Satz-Engine. In der Anwendung steckt keine LaTeX-Engine. Jeder Build ruft latexmk, lualatex, latexindent und synctex aus einer separat installierten TeX-Distribution auf, und die Dokumentation sagt unmissverständlich, dass ohne Distribution nicht kompiliert werden kann. TeX64 ist damit das Frontend, das Bearbeiten, Bauen und Vorschau zusammenbindet, während das entstehende PDF von der Standard-Toolchain stammt. Das ist Einschränkung und Zusicherung zugleich: Es gibt kein proprietäres Dokumentformat, das Manuskript bleibt einfaches .tex und kann jederzeit zu einem anderen Editor oder auf einen anderen Rechner wandern.

Zweitens, was Local-First hier bedeutet. Bearbeitung, Build, PDF-Vorschau, SyncTeX und Mathematik-OCR laufen sämtlich auf dem Gerät. Das Internet wird nur für Axiom AI, für Konto- und Abrechnungsfunktionen sowie für den Download des weiter unten beschriebenen verwalteten TeX Live gebraucht. Unterstützt werden macOS 12 oder neuer auf Apple Silicon oder Intel und Windows 10/11 auf x64; die Updates der Windows-Store-Fassung verwaltet der Microsoft Store. Linux ist derzeit nicht verfügbar, wie die Dokumentation festhält. Bei der Wahl eines Editors sind diese drei Punkte – offline schreiben, dasselbe Manuskript auf beiden Betriebssystemen, Linux nötig oder nicht – der erste Filter.

Installation und die Prüfung, ob TeX gefunden wird

Die Download-Seite (/download) zeigt den zum Betriebssystem passenden Weg. Unter Windows 10/11 x64 startet man den von Microsoft signierten Store-Installer; die weiteren Updates übernimmt der Microsoft Store. Unter macOS 12 oder neuer öffnet man das DMG für Apple Silicon oder Intel und zieht TeX64.app in den Programme-Ordner. Die macOS-Artefakte sind signiert und notarisiert, und jede Veröffentlichung nennt eine SHA-256 je Artefakt, sodass sich die heruntergeladene Datei sofort prüfen lässt. Wer nicht weiß, welche Mac-Fassung passt, führt im Terminal uname -p aus: arm steht für Apple Silicon, i386 für Intel.

Unmittelbar nach der Installation gilt es, zu prüfen, ob die TeX-Umgebung gefunden wurde. Unter Settings > Umgebung erscheinen vier Werkzeuge – lualatex, latexmk, latexindent und synctex – bei Erkennung mit grünem Haken, sonst in Rot. Beginnt man ein Manuskript, solange dort Rot steht, lässt sich bei einem späteren Fehlschlag nicht mehr trennen, ob der Editor oder das fehlende TeX schuld ist. Fehlt eine TeX-Umgebung ganz, kann TeX64 nach ausdrücklicher Bestätigung ein verwaltetes TeX Live installieren. Dieser Weg holt TeX-Pakete von einem Spiegel und legt sie in einen von der App verwalteten Ordner – und wie die Datenschutzerklärung ausdrücklich festhält, werden dabei keine Projekte hochgeladen.

• Windows: ein vorhandenes TeX Live oder das nach Bestätigung installierte, von TeX64 verwaltete TeX Live.
• macOS: MacTeX (rund 4 GB, alles enthalten), BasicTeX (rund 100 MB, Fehlendes mit tlmgr nachrüsten) oder das von TeX64 verwaltete TeX Live.
• Prüfen: alle vier – lualatex, latexmk, latexindent, synctex – stehen unter Settings > Umgebung auf Grün.
• PATH: MacTeX ergänzt /Library/TeX/texbin; eine Homebrew-Installation liegt unter /opt/homebrew/bin. Nach PATH-Änderungen Terminal und TeX64 neu starten.

Der Arbeitsbereich: Bewegung in einem langen Manuskript

TeX64 öffnet einen Ordner als Arbeitsbereich: links der Dateibaum, in der Mitte ein Editor mit Tabs, der sich senkrecht oder waagerecht teilen lässt, rechts der PDF-Viewer. Der Viewer lässt sich in ein eigenes Fenster lösen, sodass bei mehreren Bildschirmen die Quelle auf dem einen und das PDF auf dem anderen liegt. In langen Manuskripten zahlt sich das Gliederungsfenster aus: Es listet Kapitel, Abschnitte, Abbildungen, Tabellen, Labels, Zitate und TODOs hierarchisch auf und aktualisiert sich beim Tippen. Ein Klick springt an die Stelle, und eine dreihundertseitige Arbeit verliert ihre Formlosigkeit. Ein- und ausblenden mit Cmd+Shift+O (Ctrl+Shift+O unter Windows).

Die Suche ist zweistufig. Cmd+F durchsucht die aktuelle Datei; Cmd+Shift+F startet eine Volltextsuche über den gesamten Arbeitsbereich, getragen von ripgrep, und listet jeden Treffer mit Zeilennummer zum Anspringen. Dieselbe Ansicht beherrscht auch das projektweite Ersetzen, sodass die Umbenennung von \mycommand in \mynewcommand ein einziger Vorgang ist – die Ergebnisse vorher zu sichten, sollte Gewohnheit sein. Eine leisere Funktion verhindert erstaunlich viel Schaden: das Umbenennen einer Datei. Wird sie im Dateibaum umbenannt, ziehen alle Verweise über \input, \include und \graphicspath im ganzen Projekt automatisch nach. Wer nach jeder Umsortierung seiner Kapiteldateien Verweise von Hand nachgezogen hat, findet darin allein schon einen Umstiegsgrund.

thesis/                 # open this folder as the workspace
  main.tex              # \documentclass + preamble + \begin{document}
  chapters/
    intro.tex           # pulled in with \input{chapters/intro}
    methods.tex
  figures/
    setup.pdf           # ASCII names, hyphens, no spaces
  refs.bib

• \documentclass, die Pakete und \begin{document} in main.tex bündeln und Kapitel mit \input{chapters/intro} einbinden. Bei genau einem \documentclass im Projekt kann die Erkennung der Root-Datei nicht danebengehen.
• Abbildungen ASCII-Dateinamen mit Bindestrichen oder Unterstrichen geben und Leerzeichen meiden. Wird später umbenannt, dann aus dem Dateibaum heraus, damit die Verweise nachziehen.
• Vor dem Hinzufügen von Kapiteln oder Abbildungen ein kurzes Dokument einmal mit Cmd+Enter bauen. Scheitert es dort, liegt die Ursache in der TeX-Umgebung und nicht in der Quelle.
• Das Projekt in einen übersetzbaren Zustand bringen, bevor Axiom um eine größere Änderung gebeten wird; danach den vorgeschlagenen Diff und das neu gebaute PDF mit der letzten sauber übersetzten Fassung vergleichen.
• Versagt SyncTeX in einem Projekt mit mehreren Dateien, zuerst die Einstellung der Root-Datei prüfen, dann, ob der Build eine .synctex.gz erzeugt hat.

Wie ein Build läuft – und warum Cmd+B nicht Build ist

Gebaut wird über latexmk. Das heißt: die wiederholten Durchläufe zur Auflösung der Querverweise, BibTeX oder Biber, makeindex oder xindy sowie die Änderungserkennung, die einen unnötigen Neubau überspringt – alles folgt den Regeln von latexmk. Die Root-Datei, jene mit \documentclass, wird durch Absuchen des Projekts ermittelt und lässt sich in Konstruktionen mit mehreren \documentclass-Anweisungen von Hand festlegen. Ebenso lassen sich mehrere Build-Profile vorhalten, jedes mit eigener Engine (pdflatex, xelatex, lualatex) und eigenen Zusatzoptionen. Zwischendateien entfernt Clean unter Settings > Build-Profil; Clean -C löscht auch die erzeugte Ausgabe. Das Protokoll läuft während der Übersetzung mit, sodass sichtbar bleibt, im wievielten Durchlauf latexmk gerade steckt.

Hier liegt die Belegung, die Umsteiger aus anderen Editoren zuerst überrascht: Cmd+B ist nicht Build. In TeX64 fügt Cmd+B ein \textbf{} ein und Cmd+I ein \textit{}, während gebaut wird mit Cmd+Enter oder der Wiedergabeschaltfläche in der Symbolleiste. Das wirkt eigenwillig, bis man zählt: Vergleicht man über eine Stunde LaTeX-Schreiben, wie oft \textbf{} getippt und wie oft ein Build gestartet wird, beantwortet sich die Frage nach der kürzesten Taste von selbst. Nebeneffekt: Finger, die aus der Textverarbeitung Cmd+B für Fettschrift gelernt haben, funktionieren weiter. Unter Windows entspricht Cmd der Taste Ctrl und Option der Taste Alt.

Formeln bauen, ohne die Notation zu kennen (Blocks)

Blocks ist der visuelle Editor, mit dem sich Formeln zusammenbauen lassen, ohne die LaTeX-Notation auswendig zu können. Darunter arbeitet MathLive, ein interaktiver Formelbaukasten: Man wählt aus einer Palette griechischer Buchstaben, Operatoren, Relationen, Pfeile, Mengenzeichen, Strukturen wie Brüche und Wurzeln sowie Akzente und fügt daraus die Formel. Das gesetzte Ergebnis erscheint dabei in Echtzeit, und beim Abschluss wird der entsprechende LaTeX-Code automatisch in die Quelle eingefügt. Genau darauf kommt es an: Blocks erfindet kein eigenes Format – heraus kommt dasselbe .tex-Fragment, das man von Hand getippt hätte.

Es gibt drei Wege hinein: Den Cursor in eine Mathematikumgebung setzen und rechtsklicken > „Edit in Block“, das Menü Math > Block Editor benutzen oder Cmd+Shift+E drücken (Ctrl+Shift+E unter Windows). TeX64 erkennt die Umgebung selbsttätig und startet den Block dafür. Abgedeckt sind die abgesetzten Umgebungen – equation, align, gather, multline, split, cases –, die matrix-Familie sowie Inline-Mathematik als $...$ oder \(...\). Der Einsatzbereich ist klar umrissen: stark bei einer Formel mit einem Zeichen, dessen Befehl man noch nicht kennt, und beim Neuaufbau eines langen Ausdrucks, dessen Klammerschachtelung man verloren hat; für ein vertrautes \frac{a}{b} bleibt die Tastatur schneller.

Aus dem Bild einer Formel LaTeX machen – OCR auf dem Gerät

Mathematik-OCR wandelt die Mathematik in einem Bild in LaTeX-Code um. Über Math > OCR einen Bildschirmbereich wählen; die mitgelieferten ONNX/Tesseract-Komponenten werten ihn auf dem Gerät aus und fügen das Ergebnis in den Editor ein. Hier lohnt sich Genauigkeit: Wie Datenschutzerklärung und Nutzungsbedingungen ausdrücklich festhalten, wird die ausgewählte Bildschirm- oder Bildaufnahme nicht an OpenAI gesendet. Die OCR arbeitet offline und ist im kostenlosen Tarif enthalten. Fotos handschriftlicher Notizen, Formeln in einem PDF und Bildschirmfotos aus einem Lehrbuch kommen gleichermaßen infrage.

Drei praktische Hinweise. Erstens kann die Aufnahme eines Bildschirmausschnitts eine Berechtigung des Betriebssystems erfordern; unter macOS die Bildschirmaufzeichnung freigeben, wenn danach gefragt wird. Zweitens die Genauigkeit: Je eher man ein kontrastreiches Bild verwendet und allein auf die Formel zuschneidet, desto stabiler das Ergebnis. Drittens die Prüfung: OCR ist eine Hilfe, keine Reinschrift – deshalb den eingefügten Code stets einmal übersetzen und mit dem PDF vergleichen. Verwechslungen von Tief- und Hochstellung, von 1 und l oder von \times und x treten gesetzt weit schneller zutage als beim Nachlesen. Als Faustregel für die Wahl: Blocks für eine neue Formel von Grund auf, OCR für eine, die bereits auf Papier oder im PDF existiert.

Axiom: eine KI, die Diffs vorschlägt – und ihre Grenzen

Axiom ist der in TeX64 eingebaute KI-Schreibassistent mit zwei Zugängen: dem KI-Chat (Cmd+Shift+A), in dem man in natürlicher Sprache spricht, und der Inline-Vervollständigung, die im Editor die nächste Zeile, Formel oder den nächsten Absatz vorschlägt. Kennzeichnend ist, dass er mehr tut als reden – er arbeitet im Projekt selbst. Laut Dokumentation liest Axiom die Projektdateien und den Dateibaum, schlägt Änderungen als Diffs vor, kompiliert das Projekt und liest das Build-Protokoll und durchsucht arXiv, um BibTeX-Einträge zu holen (arxiv_search, arxiv_bibtex). Diese Fähigkeiten stehen in jedem Tarif mit KI-Zugang zur Verfügung.

Bei jedem Werkzeug, das eine KI an den Quelltext lässt, zählen die Grenzen mehr als die Fähigkeiten. Erstens wird ein vorgeschlagener Diff erst angewendet, nachdem man ihn geprüft und bestätigt hat. Zweitens kann Axiom keine Dateien außerhalb des Arbeitsbereichs erreichen und keine beliebigen Systembefehle ausführen – seine Werkzeuge sind eingeschränkt. Drittens werden API-Schlüssel und Tokens automatisch geschwärzt. Zum Datenfluss sagen Datenschutzerklärung und Nutzungsbedingungen dasselbe: nur beim Aufruf von Axiom werden die Eingabe und der für diese Anfrage nötige Kontext – der ausgewählten Text oder einschlägige Projektinhalte enthalten kann – an den konfigurierten KI-Dienst gesendet, derzeit die OpenAI API. Aufnahmen der Mathematik-OCR werden nicht gesendet. Die FAQ der Website hält zudem fest, dass eingereichte Arbeiten nicht zum Training von KI-Modellen verwendet werden. Wer vertrauliches Material bearbeitet, liest die Datenschutzerklärung vor dem Absenden selbst nach.

Auch der Zuschnitt der Tarife hilft bei der Orientierung. Editor, Build-System, PDF-Vorschau, SyncTeX, Blocks und die lokale Mathematik-OCR sind im kostenlosen Tarif enthalten. Für die KI gilt: jeder Tarif trägt ein monatliches Axiom-Kontingent, dessen aktuelle Höhe in der App angezeigt wird. Die kostenpflichtigen Stufen Basic und Pro erweitern es; Pro ergänzt Prioritätsverarbeitung, weiteren Kontext für lange Texte und das leistungsfähigste Axiom-Modell. Ist das Kontingent aufgebraucht, funktionieren lokale OCR, Editor, Build und PDF-Vorschau unverändert weiter. Eine letzte Gewohnheit lohnt sich: das Projekt in einen übersetzbaren Zustand bringen, bevor Axiom um eine größere Änderung gebeten wird. Dann genügt zur Beurteilung der Vergleich des vorgeschlagenen Diffs und des danach neu gebauten PDF mit der letzten sauber übersetzten Fassung.

SyncTeX: zwischen Quelle und PDF hin und her

SyncTeX verknüpft einander entsprechende Stellen in Quelle und PDF in beide Richtungen und ist in den PDF-Viewer von TeX64 eingebaut. Vorwärts (Quelle zu PDF) wird der zum Cursor gehörende Bereich im PDF hervorgehoben, und der Viewer scrollt von selbst dorthin. Rückwärts (PDF zu Quelle) springt ein Cmd-Klick im PDF unmittelbar zur zugehörigen Quellzeile und hebt sie hervor – bei mehrzeiligen Blöcken wie einem Absatz oder einem figure an den Blockanfang. Vorausgesetzt wird genau zweierlei: synctex muss verfügbar sein, und der Build muss eine .synctex.gz erzeugen, was der Build von TeX64 standardmäßig tut.

Auch in Projekten mit mehreren Dateien funktioniert es: Ein Klick auf ein Element aus einer per \input oder \include ausgelagerten Datei öffnet die richtige externe Datei an der richtigen Zeile. Voraussetzung ist, dass die Root-Datei – die Hauptdatei mit \begin{document} – korrekt gesetzt ist; bei falscher Root arbeitet SyncTeX überhaupt nicht. TeX64 versucht, sie automatisch zu erkennen; bei Bedarf lässt sie sich im Menü über „Set Root File“ ausdrücklich angeben. Auch bei der Genauigkeit lohnt eine realistische Erwartung: Meist landet man mit Absatzgenauigkeit auf der richtigen Zeile, doch Pakete, die über Makros große Mengen an Inhalt erzeugen – etwa tikz oder pgfplots –, erschweren die Zuordnung und können eine gröbere, mitunter seitenweite Genauigkeit hinterlassen. Nach einem Build zu prüfen, ob eine .synctex.gz im Projekt liegt, ist dabei stets der erste Schritt der Fehlersuche.