Sætningssystemet \(\TeX\) blev udviklet i 1977 af den legendariske Donald E. Knuth . Softwarepakken \(\LaTeX\) er stadig en del af standardrepertoiret, når der oprettes videnskabelige artikler. Med de følgende to værktøjer kan allerede genererede PDF-filer og håndskrevne noter konverteres fuldt ud automatisk til TeX. Resultaterne er meget lovende.
Det første værktøj, Mathpix , nyder i øjeblikket en reel hype på sociale medier. Det er specialiseret i konvertering af individuelle formler. En del af det aktuelle skærmbillede kan fremhæves og konverteres med en tastekombination. Programmet giver flere mulige løsninger med en vurdering af nøjagtigheden. Jeg testede dette ved hjælp af en formel fra 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.$$
Det andet værktøj, InfinityReader, har eksisteret i næsten 15 år. Dette noget forældede program kan konvertere hele dokumenter (den gratis prøveversion giver dig mulighed for at prøve én side). Det kan også automatiseres fra kommandolinjen og håndterer adskillige inputfilformater, herunder output af MathML . Eksemplet ovenfor klarer sig lidt dårligere i denne henseende.:
$$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.$$
Værktøjerne gør det nemmere at skrive til hurtig konvertering af formler og dokumenter. Men i de fleste tilfælde kan du ikke undgå manuel korrektion. Vi afslutter med et citat fra Donald E. Knuth: "Min generelle arbejdsstil er at skrive alt først med blyant og papir, siddende ved siden af en stor skraldekurv. Så bruger jeg Emacs til at indtaste teksten i min maskine."