Терүү системасы \(\TeX\) 1977-жылы легендарлуу Дональд Э.Кнут тарабынан иштелип чыккан. \(\LaTeX\) программалык пакети дагы деле болсо илимий эмгектерди түзүүдө стандарттуу репертуардын бөлүгү болуп саналат. Төмөнкү эки курал менен, буга чейин түзүлгөн PDF файлдар жана кол менен жазылган ноталар толугу менен автоматтык түрдө TeXке айландырылат. Натыйжалар абдан келечектүү.
Биринчи инструмент Mathpix учурда социалдык тармактарда кызуу талкуу жаратууда . Ал айрым формулаларды которууга адистешкен. Учурдагы экрандын бөлүгүн бөлүп көрсөтүүгө болот жана баскычтардын айкалышы менен которулат. Программа тактыгын баалоо менен бир нече мүмкүн болгон чечимдерди берет. Мен муну 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.$$
Экинчи курал, InfinityReader, дээрлик 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.$$
Куралдар формулаларды жана документтерди тез которуу үчүн терүүнү жеңилдетет. Бирок, көпчүлүк учурларда сиз кол менен оңдоодон кача албайсыз. Биз Доналд Э.Кнуттун цитата менен аяктайбыз: "Менин жалпы иштөө стилим - чоң таштанды себетинин жанында отуруп, баарын алгач карандаш жана кагаз менен жазуу. Анан мен текстти машинама киргизүү үчүн Emacs колдоном."