TeX64

TeX64 est un éditeur de bureau LaTeX pour macOS. Vous ouvrez un dossier sur votre propre ordinateur, modifiez les fichiers .tex, créez en un seul clic et lisez le résultat dans une visionneuse PDF intégrée - une boucle d'édition entièrement locale, augmentée d'une entrée mathématique visuelle, d'une image vers LaTeX OCR et d'un LaTeX-specialized AI (Axiom). Cette page est une entrée simple dans un guide d'outils : ce que fait réellement chaque fonctionnalité et comment.

Qu'est-ce que TeX64

TeX64 est local-first : outre ses fonctionnalités AI, il fonctionne entièrement hors ligne, et votre source et votre PDF restent sur votre propre machine. Il est actuellement livré pour macOS uniquement (macOS 12 Monterey ou version ultérieure), avec prise en charge native des Mac Apple Silicon (M1/M2/M3/M4) et Intel. Les builds Windows et Linux sont planifiées mais pas encore disponibles — la distribution est suspendue pendant la signature et la politique d'installation sont finalisées.

La forme de son utilisation est simple. Ouvrez un espace de travail (un dossier) et vous obtenez un éditeur avec une arborescence de fichiers, une édition par onglets et une vue fractionnée. Votre fichier .tex principal est détecté automatiquement et appuyer sur Cmd+B le construit, affichant le PDF dans la visionneuse intégrée. Les éléments essentiels de l'édition sont tous présents : un plan généré automatiquement à partir de chapitres, sections, figures, étiquettes, citations et TODO, et une recherche en texte intégral dans tout l'espace de travail (optimisée par ripgrep).

Notez que TeX64 n'est pas en soi un moteur de composition. La compilation exécute une distribution TeX que vous installez séparément (voir ci-dessous) via latexmk. En d'autres termes, TeX64 est le frontal qui relie l'édition, la construction et l'aperçu, tandis que la composition elle-même est effectuée par la chaîne d'outils standard TeX.

Mise en place

L'installation de l'application elle-même est la routine habituelle de macOS. Depuis la page de téléchargement (/download), récupérez le DMG qui correspond à votre ordinateur (Apple Silicon ou Intel), ouvrez-le et faites glisser TeX64.app dans votre dossier Applications. Il nécessite environ 150 MB d'espace disque.

Au premier lancement, macOS Gatekeeper peut afficher un avertissement ; si c'est le cas, Contrôlez+cliquez sur l'application et choisissez « Ouvrir » pour la démarrer. Si vous ne savez pas si votre Mac est Apple Silicon ou Intel, exécutez uname -p dans Terminal (arm signifie Apple Silicon, i386 signifie Intel). Les DMG sont signés et notariés, et une somme de contrôle est publiée par artefact.

Configuration de l'environnement TeX

Comme indiqué, la construction dans TeX64 nécessite une distribution TeX installée séparément. La recommandation est MacTeX (outils TeX Live complets plus GUI, ~4 GB). Pour que les choses restent simples, vous pouvez à la place installer BasicTeX (~100 MB) et ajouter les packages manquants au fil du temps avec sudo tlmgr install.

Les outils dont TeX64 a spécifiquement besoin sont lualatex (le moteur par défaut), latexmk (qui pilote la construction), latexindent (pour le formatage) et synctex (pour SyncTeX). Vous pouvez vérifier s'ils ont été trouvés sous Settings > Environnement dans l'application : une coche verte ( ✓) signifie trouvé, rouge signifie manquant. S'il manque quelque chose, installez MacTeX ou ajoutez le package individuel avec tlmgr.

Dans le cas où aucun environnement TeX n'est présent, TeX64 peut également installer un TeX Live géré pour vous (ajouté dans la version 0.1.12) : lorsque les outils requis sont manquants, l'application peut configurer un environnement TeX Live sous sa propre gestion.

• Recommandé : MacTeX (TeX Live complet + GUI, ~4 GB)
• Lean : BasicTeX (~100 MB) plus tlmgr pour le reste
• Vérifier : coches vertes pour lualatex / latexmk / latexindent / synctex sous Settings > Environnement

Une boucle pratique de première écriture

Si vous passez directement à un grand modèle de thèse après avoir installé TeX64, il devient difficile de savoir si un échec vient de l'éditeur ou de l'environnement TeX. Commencez avec un petit manuscrit et prouvez la boucle : ouvrez, construisez, inspectez le PDF, revenez à la source, révisez. Ensuite, évoluez vers des chapitres, des figures et des références.

• Ouvrez un espace de travail : choisissez un dossier de manuscrits et décidez quel fichier, tel que main.tex, est le point d'entrée.
• Vérifiez le fichier racine : si la détection automatique choisit le mauvais fichier, définissez-le explicitement depuis le menu.
• Créez un document court une seule fois : avant d'ajouter des chapitres ou des figures, vérifiez que les outils TeX sont trouvés et qu'un PDF apparaît.
• Développez-vous par petites étapes : ajoutez une section, une équation, une figure ou une citation à la fois et lisez le journal de construction au fur et à mesure.
• Utilisez Axiom et OCR sur un manuscrit dont le fonctionnement est connu : le code généré doit être vérifié à la fois via le diff et le PDF compilé.

Comment façonner le dossier du manuscrit

TeX64 traite un dossier comme espace de travail, de sorte que la disposition du premier dossier fait partie de la stabilité de l'écriture. Un court rapport peut vivre dans un seul main.tex ; pour une thèse ou un manuel technique, séparer les fichiers de corps, les figures et la bibliographie depuis le début facilite la recherche, la navigation dans les plans, les requêtes AI et les sauts SyncTeX.

thesis/
  main.tex
  chapters/
    intro.tex
    methods.tex
  figures/
    setup.pdf
  refs.bib

• Conservez \documentclass, les packages et \begin{document} dans main.tex ; inclure des chapitres avec des lignes telles que \input{chapters/intro}.
• Préférez les noms de fichiers de figures ASCII avec des traits d'union ou des traits de soulignement ; évitez les espaces et les noms japonais dans les chemins.
• Confirmez d'abord que Cmd+B produit un PDF, puis ajoutez des chapitres, des figures et une bibliographie une pièce à la fois.
• Avant de demander à Axiom des modifications importantes, gardez le projet dans un état de compilation. Examinez les différences entre AI et le dernier bon PDF.

Entrée mathématique (blocs)

Blocks (l'éditeur mathématique visuel) est la fonctionnalité permettant de créer des équations sans mémoriser la notation LaTeX. Sous le capot, il utilise MathLive, un générateur d'équations interactif : vous sélectionnez parmi une palette de lettres grecques, d'opérateurs, de relations, de flèches, d'ensembles de symboles, de structures telles que des fractions et des racines, et des accents pour assembler la formule. Au fur et à mesure que vous tapez, vous voyez le résultat rendu en temps réel, et lorsque vous avez terminé, le code LaTeX correspondant est automatiquement réinséré dans votre source.

Il existe trois manières d'y parvenir : placez le curseur dans un environnement mathématique et cliquez avec le bouton droit > « Modifier dans le bloc », utilisez le menu Math > Bloc Editor, ou appuyez sur Cmd+Shift+E. TeX64 détecte automatiquement les environnements mathématiques et lance le bloc pour eux. Les environnements couverts incluent ceux affichés – equation, align, gather, multline, split, cases – la famille matrix et les mathématiques en ligne écrites sous la forme $...$ ou \(...\).

Mathématiques OCR (image → formule)

OCR transforme les mathématiques d'une image en code LaTeX. Il fonctionne sur les captures d'écran, les notes manuscrites, les formules dans les PDF et les photos d'équations provenant de manuels ou d'articles — écriture manuscrite et impression. Pour l'utiliser, choisissez Math > OCR dans le menu, recadrez n'importe quelle région de l'écran, et le AI analyse l'image, génère le LaTeX et insère le résultat directement dans l'éditeur.

Étant donné que la conversion s'exécute sur le cloud AI, elle nécessite une connexion Internet et un plan compatible AI (la documentation la décrit comme une fonctionnalité AI sur TeX64 Basic ou supérieur). Et comme il capture une région de l'écran, vous devrez peut-être activer TeX64 sous l'autorisation macOS Enregistrement d'écran (Système Settings > Confidentialité et sécurité > Enregistrement d'écran). Pour une meilleure précision : utilisez des images à contraste élevé (texte sombre sur fond clair), recadrez uniquement l'équation, écrivez l'écriture manuscrite aussi proprement que possible et divisez les formules complexes. Examinez et corrigez toujours le résultat avant de vous y fier.

En règle générale : recherchez Blocs lors de la création d'une nouvelle formule à partir de zéro ou lorsque la notation LaTeX n'est pas familière, et OCR lors de la numérisation d'une équation manuscrite ou PDF existante.

AI écriture (Axiome)

Axiom est l'agent LaTeX-specialized AI intégré à TeX64. Il comprend le contexte de l'ensemble de votre projet et fait plus que discuter : il lit et écrit des fichiers directement pendant son fonctionnement. Il existe deux points d'entrée : le AI chat, où vous parlez en langage naturel (« Pourquoi cette erreur se produit-elle ? », « Rendre cette section plus concise ») et la complétion en ligne, qui suggère la ligne, l'équation ou le paragraphe suivant dans l'éditeur. La complétion peut également transformer un langage naturel tel que « intégrale de x au carré de 0 à 1 » en une équation telle que \int_0^1 x^2 dx.

En tant qu'agent, Axiom lit vos fichiers de projet (.tex, .bib, .sty, .cls, etc.) et l'arborescence des fichiers, et propose des modifications sous forme de différences. Surtout, ces différences ne sont toujours appliquées qu'après les avoir examinées et approuvées. Il peut également compiler le projet et lire le journal de construction, et rechercher arXiv pour les récupérer. entrées BibTeX. D'un autre côté, il ne peut pas accéder aux fichiers en dehors de votre espace de travail et ne peut pas exécuter de commandes système arbitraires (ses outils sont restreints) ; Les clés et jetons API sont rédigés automatiquement.

Il existe deux modèles : le modèle Axiom standard est disponible sur chaque forfait, et le Axiom Pro le plus performant est uniquement Pro. Concernant la confidentialité : vos données papier ne sont jamais utilisées pour la formation AI, les données sont envoyées uniquement lorsque vous utilisez explicitement une fonctionnalité AI, elles sont traitées côté serveur via OpenAI API et sont supprimées après traitement plutôt que stockées à long terme. Les forfaits sont gratuits, basiques et Pro ; même Free inclut une allocation mensuelle AI d'environ 200 000 jetons, et les niveaux supérieurs ajoutent des modèles plus performants et des quotas plus importants (voir la page de tarification pour les chiffres exacts). Vérifiez toujours le résultat – Axiom est puissant mais peut se tromper sur un code ou une sémantique complexe.

SyncTeX (recherche avant/inverse)

SyncTeX relie les positions correspondantes dans la source et PDF dans les deux sens, et il est intégré au visualiseur TeX64 PDF. Avec la recherche avant (source → PDF), la zone du PDF correspondant à votre curseur est mise en surbrillance et le spectateur y défile automatiquement. Avec la recherche inverse (PDF → source), Cmd-cliquez sur le PDF pour passer directement à la ligne source correspondante et la mettre en surbrillance (pour les blocs multilignes comme un paragraphe ou un figure, il passe au début du bloc).

Pour que cela fonctionne, synctex doit être disponible et la build doit générer un fichier .synctex.gz. La version de TeX64 active la génération .synctex.gz par défaut, elle fonctionne donc généralement sans configuration supplémentaire. Cela fonctionne également dans les projets multi-fichiers : cliquez sur un élément d'un fichier divisé avec \input ou \include, et le fichier externe correct s'ouvre automatiquement et passe à la ligne de droite. Cela suppose que le fichier racine (le fichier principal contenant \begin{document}) est défini correctement — TeX64 essaie de le détecter automatiquement, et vous pouvez le définir explicitement via « Définir le fichier racine » du menu si nécessaire.

La précision du saut dépend de la granularité des informations que TeX64 peut lire à partir du fichier SyncTeX. Souvent, vous atterrissez sur la bonne ligne avec une précision au niveau du paragraphe, mais certains packages tels que tikz ou pgfplots, ainsi qu'une utilisation intensive des macros, peuvent compliquer le mappage et produire une précision plus grossière (par exemple, au niveau de la page).