Il sistema di composizione \(\TeX\) stato sviluppato nel 1977 dal leggendario Donald E. Knuth . Il pacchetto software \(\LaTeX\) fa ancora parte del repertorio standard durante la creazione di articoli scientifici. Con i seguenti due strumenti, i PDF già generati e le note scritte a mano possono essere convertiti in modo completamente automatico in TeX. I risultati sono molto promettenti.
Il primo strumento, Mathpix , sta attualmente godendo di un vero clamore sui social media. È specializzato nella conversione di singole formule. Una parte della schermata corrente può essere evidenziata e convertita con una combinazione di tasti. Il programma fornisce diverse possibili soluzioni con una valutazione dell'accuratezza. L'ho testato usando una formula 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.$$
Il secondo strumento, InfinityReader, esiste da quasi 15 anni. Questo programma, un po' datato, è in grado di convertire interi documenti (la versione di prova gratuita permette di provare una singola pagina). Può anche essere automatizzato da riga di comando e gestisce numerosi formati di file di input, incluso l'output in MathML . L'esempio precedente ha prestazioni leggermente inferiori sotto questo aspetto.:
$$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.$$
Gli strumenti semplificano la digitazione per convertire rapidamente formule e documenti. Tuttavia, nella maggior parte dei casi non è possibile evitare la correzione manuale. Chiudiamo con una citazione di Donald E. Knuth: "Il mio stile di lavoro generale è scrivere tutto prima con carta e matita, seduto accanto a un grande cestino della spazzatura. Poi uso Emacs per inserire il testo nella mia macchina."