Sistem penyusunan huruf \(\TeX\) dikembangkan pada tahun 1977 oleh Donald E. Knuth yang legendaris. Paket perangkat lunak \(\LaTeX\) masih menjadi bagian dari repertoar standar saat membuat karya ilmiah. Dengan dua alat berikut, PDF dan catatan tulisan tangan yang sudah dibuat dapat diubah secara otomatis menjadi TeX. Hasilnya sangat menjanjikan.
Alat pertama, Mathpix , saat ini sedang menikmati hype nyata di media sosial. Ini berspesialisasi dalam mengubah rumus individu. Sebagian dari layar saat ini dapat disorot dan diubah dengan kombinasi tombol. Program ini memberikan beberapa solusi yang mungkin dengan penilaian akurasi. Saya menguji ini menggunakan rumus dari Kertas Kuning Ethereum:
$$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.$$
Alat kedua, InfinityReader, telah ada selama hampir 15 tahun. Program yang agak ketinggalan zaman ini dapat mengkonversi seluruh dokumen (versi uji coba gratis memungkinkan Anda mencoba satu halaman). Program ini juga dapat diotomatisasi dari baris perintah dan menangani berbagai format file input, termasuk output MathML . Contoh di atas memiliki kinerja yang sedikit lebih buruk dalam hal ini.:
$$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.$$
Alat ini memudahkan pengetikan untuk mengonversi rumus dan dokumen dengan cepat. Namun, dalam banyak kasus, Anda tidak dapat menghindari koreksi manual. Kami menutupnya dengan kutipan dari Donald E. Knuth: "Gaya kerja saya secara umum adalah menulis semuanya terlebih dahulu dengan pensil dan kertas, duduk di sebelah keranjang sampah besar. Lalu saya menggunakan Emacs untuk memasukkan teks ke dalam mesin saya."