TeX64

Todo editor de LaTeX acaba respondiendo a la misma pregunta: ¿qué añade a un editor de texto más latexmk? La respuesta de TeX64 son tres herramientas colocadas justo al lado de las matemáticas: Blocks, un editor visual para armar fórmulas sin memorizar la notación; el OCR matemático, que convierte la imagen de una ecuación en LaTeX en el propio dispositivo; y Axiom, una IA que propone sus cambios en forma de diffs. Es una aplicación de escritorio local-first para macOS y Windows, y no compone nada por sí misma. Esta referencia la publica Fermion Inc., la empresa que desarrolla TeX64, y justamente por eso esta página se limita a lo que puede verificarse en el repositorio y en los documentos publicados, sin argumentario de venta.

Qué es TeX64 y qué no es

Primero: TeX64 no es un motor de composición. Dentro de la aplicación no viaja ningún motor de LaTeX. Cada compilación invoca latexmk, lualatex, latexindent y synctex de una distribución TeX instalada aparte, y la documentación dice sin rodeos que sin distribución no hay compilación. TeX64 es, pues, la interfaz que une edición, compilación y vista previa, mientras que el PDF resultante lo produce la cadena de herramientas TeX estándar. Es a la vez una limitación y una garantía: no hay formato de documento propietario, el manuscrito sigue siendo .tex corriente y puede marcharse en cualquier momento a otro editor u otra máquina.

Después, qué significa aquí local-first. La edición, la compilación, la vista previa del PDF, SyncTeX y el OCR matemático funcionan todos en el dispositivo. Internet solo hace falta para Axiom AI, para las funciones de cuenta y facturación, y para descargar el TeX Live gestionado que se describe más abajo. Las plataformas admitidas son macOS 12 o posterior en Apple Silicon o Intel y Windows 10/11 en x64; Microsoft Store gestiona las actualizaciones de la versión de Windows Store. Linux no está disponible actualmente, según indica la documentación. Al elegir editor, esos tres puntos —poder escribir sin conexión, mover el mismo manuscrito entre ambos sistemas, necesitar Linux— son el primer filtro.

Instalarlo y comprobar que encuentra TeX

La página de descarga (/download) ofrece la ruta que corresponde al sistema. En Windows 10/11 x64 se ejecuta el instalador de Store firmado por Microsoft, y a partir de ahí Microsoft Store se encarga de las actualizaciones. En macOS 12 o posterior se abre el DMG de Apple Silicon o de Intel y se arrastra TeX64.app a Aplicaciones. Los artefactos de macOS están firmados y notarizados, y cada versión publica una SHA-256 por artefacto, de modo que el archivo descargado puede comprobarse en el acto. Si no sabe qué compilación de Mac tomar, ejecute uname -p en Terminal: arm indica Apple Silicon e i386, Intel.

Lo que hay que hacer justo después de instalar es confirmar que se ha encontrado el entorno TeX. Abra Settings > Entorno y cuatro herramientas —lualatex, latexmk, latexindent y synctex— aparecen con una marca verde cuando se detectan y en rojo cuando no. Empezar un manuscrito con eso todavía en rojo significa que, si más adelante falla una compilación, ya no podrá distinguir si la culpa es del editor o de la ausencia de TeX. Si no hay entorno TeX alguno, TeX64 puede instalar un TeX Live gestionado una vez que usted lo aprueba. Esa vía descarga paquetes TeX de una réplica y los instala en una carpeta gestionada por la aplicación y, como declara explícitamente la política de privacidad, durante ese proceso no se suben sus proyectos.

• Windows: una TeX Live existente, o la TeX Live gestionada por TeX64 que usted apruebe.
• macOS: MacTeX (unos 4 GB, todo incluido), BasicTeX (unos 100 MB, añadir lo que falte con tlmgr), o la TeX Live gestionada por TeX64.
• Verificar: las cuatro herramientas lualatex, latexmk, latexindent y synctex en verde bajo Settings > Entorno.
• PATH: MacTeX añade /Library/TeX/texbin; una instalación por Homebrew queda en /opt/homebrew/bin. Reinicie el terminal y TeX64 tras cambiar el PATH.

El espacio de trabajo: moverse por un manuscrito largo

TeX64 abre una carpeta como espacio de trabajo: árbol de archivos a la izquierda, editor con pestañas en el centro (divisible en vertical u horizontal) y visor de PDF a la derecha. El visor puede desprenderse en su propia ventana, de modo que con varios monitores la fuente ocupa uno y el PDF el otro. Lo que rinde de verdad en un manuscrito largo es el panel de esquema, que lista capítulos, secciones, figuras, tablas, etiquetas, citas y TODO en jerarquía y se actualiza mientras se escribe. Un clic lleva al punto deseado, y una tesis de trescientas páginas deja de ser informe. Cmd+Shift+O lo muestra u oculta (Ctrl+Shift+O en Windows).

La búsqueda tiene dos niveles. Cmd+F busca en el archivo actual; Cmd+Shift+F lanza una búsqueda de texto completo en todo el espacio de trabajo, sostenida por ripgrep, y lista cada coincidencia con su número de línea para saltar a ella. Ese mismo panel hace sustitución en todo el proyecto, de modo que renombrar \mycommand como \mynewcommand es una sola operación; conviene adquirir el hábito de previsualizar antes de sustituir. Una función más discreta evita bastantes destrozos: el cambio de nombre de archivo. Renómbrelo en el árbol y todas las referencias \input, \include y \graphicspath del proyecto se actualizan solas. Para quien haya parcheado referencias a mano tras cada reorganización de capítulos, ese solo comportamiento puede bastar como motivo de cambio.

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

• Reunir \documentclass, los paquetes y \begin{document} en main.tex, y llamar los capítulos con \input{chapters/intro}. Con un solo \documentclass en el proyecto, la detección del archivo raíz no puede equivocarse.
• Dar a las figuras nombres ASCII con guiones o guiones bajos y evitar espacios. Para renombrar más adelante, hágalo desde el árbol de archivos para que las referencias sigan.
• Antes de añadir capítulos o figuras, compilar una vez un documento corto con Cmd+Enter. Un fallo en ese punto señala al entorno TeX, no a la fuente.
• Dejar el proyecto en estado compilable antes de pedirle a Axiom una edición grande, y luego juzgar el diff propuesto y el PDF recompilado frente a la última versión que compilaba limpiamente.
• Si SyncTeX deja de funcionar en un proyecto de varios archivos, revise primero el ajuste del archivo raíz y después si la compilación generó un .synctex.gz.

Cómo transcurre una compilación y por qué Cmd+B no es compilar

Las compilaciones las conduce latexmk. Es decir: las pasadas repetidas para resolver las referencias cruzadas, BibTeX o Biber, makeindex o xindy, y la detección de cambios que evita recompilar cuando nada se ha movido siguen todas las reglas propias de latexmk. El archivo raíz —el que contiene \documentclass— se localiza recorriendo el proyecto, y puede fijarse a mano en una estructura con varios \documentclass. También se pueden mantener varios perfiles de compilación, cada uno con su motor (pdflatex, xelatex, lualatex) y sus opciones adicionales. Para tirar los archivos intermedios, use Clean en Settings > Perfil de compilación; Clean -C borra además la salida generada. El registro va desfilando durante la compilación, así que se ve en qué pasada anda latexmk.

He aquí la asignación que primero sorprende a quien llega de otros editores: Cmd+B no es compilar. En TeX64, Cmd+B inserta \textbf{} y Cmd+I inserta \textit{}, mientras que compilar es Cmd+Enter o el botón de reproducción de la barra de herramientas. Parece a contracorriente hasta que uno cuenta: en una hora escribiendo LaTeX, compare cuántas veces teclea \textbf{} con cuántas lanza una compilación, y la cuestión de qué merece la tecla más corta se resuelve sola. Como efecto colateral, los dedos entrenados en el Cmd+B de negrita de un procesador de textos siguen funcionando. En Windows, Cmd equivale a Ctrl y Option a Alt.

Construir una fórmula sin conocer la notación (Blocks)

Blocks es el editor visual que permite armar fórmulas sin haber memorizado la notación de LaTeX. Por debajo trabaja MathLive, un constructor interactivo de ecuaciones: se elige de una paleta de letras griegas, operadores, relaciones, flechas, símbolos de conjuntos, estructuras como fracciones y raíces, y acentos, y se ensambla la fórmula. El resultado compuesto se dibuja en tiempo real y, al confirmar, el código LaTeX correspondiente se inserta de vuelta en la fuente automáticamente. Ese último punto es lo esencial: Blocks no inventa ningún formato propio; lo que sale es el mismo fragmento .tex que habría tecleado a mano.

Hay tres formas de entrar: colocar el cursor en un entorno matemático y clic derecho > «Edit in Block», usar el menú Math > Block Editor, o pulsar Cmd+Shift+E (Ctrl+Shift+E en Windows). TeX64 detecta el entorno por sí solo y lanza el bloque para él. Están cubiertos los entornos fuera de texto —equation, align, gather, multline, split, cases—, la familia matrix y las matemáticas en línea escritas como $...$ o \(...\). Su terreno es claro: brilla ante una fórmula con un símbolo cuyo comando aún desconoce y al rehacer una expresión larga cuyo anidamiento de paréntesis ha perdido de vista; para teclear un \frac{a}{b} familiar, el teclado sigue siendo más rápido.

Convertir la imagen de una ecuación en LaTeX, en el dispositivo

El OCR matemático convierte las matemáticas contenidas en una imagen en código LaTeX. Elija Math > OCR, seleccione una zona de pantalla y los componentes ONNX/Tesseract incluidos la analizan en el dispositivo antes de insertar el resultado en el editor. Aquí conviene ser preciso con los hechos: como declaran explícitamente la política de privacidad y las condiciones del servicio, la captura de pantalla o de imagen seleccionada no se envía a OpenAI. El OCR funciona sin conexión y está incluido en el plan gratuito. Fotos de apuntes manuscritos, ecuaciones dentro de un PDF y capturas de un libro de texto sirven por igual.

Tres apuntes prácticos. Primero, capturar una zona de pantalla puede exigir el permiso de captura del sistema operativo; en macOS, conceda la grabación de pantalla cuando se le pida. Segundo, la precisión: cuanto más se use una imagen de alto contraste y se recorte solo la ecuación, más estable será el resultado. Tercero, la verificación: el OCR es una ayuda, no una copia en limpio, así que compile siempre una vez el código insertado y compárelo con el PDF. Las confusiones entre subíndice y superíndice, entre 1 y l, o entre \times y x, saltan mucho antes compuestas que releídas. Regla de reparto: Blocks para una fórmula nueva creada desde cero, OCR para una que ya existe en papel o en un PDF.

Axiom: una IA que propone diffs, y sus límites

Axiom es el asistente de escritura por IA integrado en TeX64, y tiene dos puertas de entrada: el chat de IA (Cmd+Shift+A), donde se habla en lenguaje natural, y la finalización en línea, que sugiere en el editor la siguiente línea, fórmula o párrafo. Lo que lo distingue es que hace más que conversar: trabaja dentro del proyecto. Según la documentación, Axiom lee los archivos del proyecto y el árbol de archivos, propone sus ediciones como diffs, compila el proyecto y lee el registro de compilación, y busca en arXiv para recuperar entradas BibTeX (arxiv_search, arxiv_bibtex). Estas capacidades están disponibles en todos los planes con acceso a la IA.

En cualquier herramienta que deje a una IA tocar el código fuente, los límites importan más que las capacidades. Primero, un diff propuesto no se aplica hasta que usted lo ha revisado y aprobado. Segundo, Axiom no puede alcanzar archivos fuera del espacio de trabajo ni ejecutar órdenes arbitrarias del sistema: sus herramientas están restringidas. Tercero, las claves de API y los tokens se ocultan automáticamente. Sobre el flujo de datos, la política de privacidad y las condiciones del servicio dicen lo mismo: solo cuando usted invoca a Axiom se envían la indicación y el contexto que esa petición necesita —que puede incluir el texto seleccionado o contenido relevante del proyecto— al servicio de IA configurado, actualmente la API de OpenAI. Las capturas del OCR matemático no se envían. La FAQ del sitio añade que los artículos nunca se usan para entrenar modelos de IA. Si su manuscrito contiene material confidencial, lea usted mismo la política de privacidad antes de enviar nada.

También conviene conocer cómo están repartidos los planes. El editor, el sistema de compilación, la vista previa del PDF, SyncTeX, Blocks y el OCR matemático en el dispositivo están incluidos en el plan gratuito. En cuanto a la IA, todos los planes llevan una asignación mensual de Axiom, y la cantidad vigente se muestra dentro de la aplicación. Los planes de pago Basic y Pro amplían esa asignación, y Pro añade procesamiento prioritario, contexto más amplio para textos largos y el modelo de Axiom más capaz. Cuando la asignación se agota, el OCR local, la edición, la compilación y la vista previa del PDF siguen funcionando. Una última costumbre que vale la pena: dejar el proyecto en estado compilable antes de pedirle a Axiom una edición grande. Juzgar el resultado se reduce entonces a comparar el diff propuesto, y el PDF recompilado tras aplicarlo, con la última versión que compilaba limpiamente.

SyncTeX: ir y volver entre fuente y PDF

SyncTeX enlaza en ambos sentidos las posiciones correspondientes de la fuente y del PDF, y está integrado en el visor de PDF de TeX64. Hacia delante (fuente a PDF), la zona del PDF que corresponde al cursor se resalta y el visor se desplaza allí por sí solo. A la inversa (PDF a fuente), un Cmd+clic en el PDF salta directamente a la línea de fuente correspondiente y la resalta; en un bloque de varias líneas, como un párrafo o un figure, al comienzo del bloque. Solo dependen de dos condiciones: que synctex esté disponible y que la compilación genere un .synctex.gz, cosa que la compilación de TeX64 activa por omisión.

También funciona en proyectos de varios archivos: al hacer clic en un elemento perteneciente a un archivo separado con \input o \include, se abre el archivo externo correcto en la línea correcta. Eso depende de que el archivo raíz —el principal, el que contiene \begin{document}— esté bien fijado; con una raíz equivocada, SyncTeX no funciona en absoluto. TeX64 intenta detectarlo solo, y puede indicarse explícitamente con «Set Root File» en el menú cuando haga falta. Conviene además mantener una expectativa realista sobre la precisión: la mayoría de las veces se llega a la línea correcta con exactitud de párrafo, pero los paquetes que generan mucho contenido mediante macros, como tikz o pgfplots, dificultan la correspondencia y pueden dejar una precisión más gruesa, a veces de página. Comprobar tras compilar si existe un .synctex.gz en el proyecto es el primer paso de cualquier diagnóstico.