タイプ設定システム\(\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番目のInftyReaderツールは、ほぼ15年前から存在しています。 やや古風なプログラムでドキュメント全体を変換できます（無料試用版ではページを試すことができます）。 また、コマンドラインから自動的に制御でき、多数の入力ファイル形式を処理でき、 MathMLを吐き出すこともできます。 上記の例は、ここで少しパフォーマンスが低下します:
$$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.$$
ツールを使用すると、入力が簡単になり、数式やドキュメントをすばやく変換できます。 ただし、ほとんどの場合、手動による修正は避けられません。 最後に、ドナルドE.クヌースからの引用で締めくくります。 「私の一般的な作業スタイルは、最初にすべてを鉛筆と紙で書き、大きなゴミ箱の横に座って書くことです。 次に、Emacsを使用してテキストをマシンに入力します。」