Het zetsysteem \(\TeX\) werd in 1977 ontwikkeld door de legendarische Donald E. Knuth . Het softwarepakket \(\LaTeX\) maakt nog steeds deel uit van het standaardrepertoire bij het maken van wetenschappelijke artikelen. Met de volgende twee tools kunnen reeds gegenereerde pdf's en handgeschreven notities volledig automatisch worden omgezet in TeX. De resultaten zijn veelbelovend.
De eerste tool, Mathpix , beleeft momenteel een ware hype op sociale media. Het is gespecialiseerd in het omzetten van individuele formules. Een deel van het huidige scherm kan worden gemarkeerd en geconverteerd met een toetsencombinatie. Het programma biedt verschillende mogelijke oplossingen met een beoordeling van de nauwkeurigheid. Ik heb dit getest met behulp van een formule uit het 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.$$
De tweede tool, InfinityReader, bestaat al bijna 15 jaar. Dit enigszins verouderde programma kan complete documenten converteren (met de gratis proefversie kunt u één pagina proberen). Het kan ook worden geautomatiseerd via de commandoregel en ondersteunt tal van invoerbestandsformaten, waaronder MathML- uitvoer. Het bovenstaande voorbeeld presteert in dit opzicht iets minder goed.:
$$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.$$
De tools maken het typen eenvoudiger voor het snel converteren van formules en documenten. Handmatige correctie kun je in de meeste gevallen echter niet vermijden. We sluiten af met een citaat van Donald E. Knuth: "Mijn algemene werkstijl is om alles eerst met potlood en papier te schrijven, zittend naast een grote vuilnismand. Daarna gebruik ik Emacs om de tekst in mijn machine in te voeren."