El sistema de composición \(\TeX\) fue desarrollado en 1977 por el legendario Donald E. Knuth . El paquete de software \(\LaTeX\) sigue siendo parte del repertorio estándar al crear artículos científicos. Con las siguientes dos herramientas, los PDF ya generados y las notas escritas a mano se pueden convertir de forma totalmente automática a TeX. Los resultados son muy prometedores.
La primera herramienta, Mathpix , disfruta actualmente de un verdadero revuelo en las redes sociales. Se especializa en convertir fórmulas individuales. Una parte de la pantalla actual se puede resaltar y convertir con una combinación de teclas. El programa ofrece varias soluciones posibles con una evaluación de la precisión. Probé esto usando una fórmula del Ethereum Yellow Paper:
$$n(\mathfrak{I}, i) \equiv \left\{\begin{array}{ll}{( )} & {\text { if } \quad \mathfrak{I}=\varnothing} \\ {c(\mathfrak{J}, i)} & {\text { if } \quad|c(\mathfrak{I}, i)|<32} \\ {\operatorname{KEC}(c(\mathfrak{I}, i))} & {\text { otherwise }}\end{array}\right.$$
La segunda herramienta, InftyReader , existe desde hace casi 15 años. El programa un tanto anticuado puede convertir documentos completos (en la versión de prueba gratuita puede probar una página). También se puede controlar automáticamente desde la línea de comandos y puede manejar numerosos formatos de archivo de entrada y también puede escupir MathML . El ejemplo anterior funciona un poco peor aquí.:
$$n(\mathrm{I},\ i)\equiv \left\{ \begin{array}{ll} () & \mathrm{i}\mathrm{f}\ \mathrm{I}=\emptyset\\ c(\mathrm{I},\ i) & \mathrm{i}\mathrm{f}\ \Vert c(\mathrm{I},\ i\ <32\\ \mathrm{K}\mathrm{E}\mathrm{C}(c(\mathrm{I},\ i)) & \mathrm{o}\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{w}\mathrm{i}\mathrm{s}\mathrm{e} \end{array} \right.$$
Las herramientas facilitan la escritura para convertir rápidamente fórmulas y documentos. En la gran mayoría de los casos, sin embargo, no puede evitar la corrección manual. Cerramos con una cita de Donald E. Knuth: “Mi estilo de trabajo general es escribir todo primero con lápiz y papel, sentado al lado de una gran papelera. Luego uso Emacs para ingresar el texto en mi máquina ".