タイプ設定システム\(\TeX\)は、1977年に伝説的なDonald E.Knuthによって開発されました。 ソフトウェアパッケージ\(\LaTeX\)は、科学論文を作成する際の標準的なレパートリーの一部です。 次の2つのツールを使用すると、すでに生成されたPDFと手書きのメモを完全に自動的にTeXに変換できます。 結果は非常に有望です。
最初のツールであるMathpixは、現在ソーシャルメディアで大騒ぎを楽しんでいます。 個々の式の変換を専門としています。 現在の画面の一部は、キーの組み合わせで強調表示および変換できます。 プログラムは、精度の評価とともにいくつかの可能な解決策を提供します。 Ethereum YellowPaperの式を使用してこれをテストしました:
$$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.$$
2つ目のツールであるInfinityReaderは、 15年近く前から存在しています。このやや古いプログラムは、文書全体を変換できます（無料トライアル版では1ページのみ試用可能）。コマンドラインから自動化することも可能で、 MathML出力を含む多数の入力ファイル形式に対応しています。上記の例は、この点においてInfinityReaderよりも若干性能が劣ります。:
$$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.$$
このツールを使用すると、入力が容易になり、数式やドキュメントを迅速に変換できます。ただし、ほとんどの場合、手動修正を避けることはできません。最後は Donald E. Knuth の言葉を引用して終わります。 「私の一般的な作業スタイルは、大きなゴミかごの隣に座って、最初に鉛筆と紙ですべてを書きます。その後、Emacs を使用してテキストをマシンに入力します。」