Entonces, aquí hay algo que se me ocurrió, pero aún no es perfecto. Hay dos problemas principales:
catdvi
no se puede hacer que use subíndices y superíndices Unicode, en su lugar, coloca caracteres de tamaño normal en la línea de abajo y arriba, lo que hace que los bits LaTeX en línea se vean mal. También hay problemas relacionados, como la representación de \frac{}{}
, \binom{}{}
y en línea similar, donde aparecen en la misma línea y se desintegran completamente en el texto circundante.
El código LaTeX multilínea es notablemente mejor, pero a veces catdvi
agrega líneas en blanco adicionales (es difícil saber si eliminarlas, pero podría procesar posteriormente la salida para eliminar las líneas en blanco).
A continuación se muestra el código que utilicé y algunos ejemplos generados:
(defmacro by-backend (&rest body)
`(cl-case (when (boundp 'backend)
(org-export-backend-name backend))
,@body))
(defun my/org-latex-headers ()
(mapcar
(lambda (record) (plist-get (cl-second record) :value))
(cl-remove-if-not
(lambda (record)
(let* ((data (cl-second record))
(key (plist-get data :key)))
(or (string-equal key "LATEX_HEADER")
(string-equal key "LATEX_HEADER_EXTRA"))))
(org-element-map (org-element-parse-buffer) 'keyword 'identity))))
(defun my/org-latex-template-with-header (body)
(org-latex-template
body
`(:title ""
:exported-data ,(make-hash-table)
:language "latex"
:latex-classes ,org-latex-classes
:latex-class "article"
:latex-header ,(mapconcat 'identity (my/org-latex-headers) "\n"))))
(defun my/latex-to-ascii (latex &optional multiline)
(let* ((catdvi-buf (get-buffer-create "*catdvi-buf*"))
(tmpname (make-temp-file "catdvi" nil ".tex"))
(dviname (format "%s.dvi" (file-name-sans-extension tmpname)))
(template (my/org-latex-template-with-header latex)))
(with-current-buffer catdvi-buf (erase-buffer))
(with-temp-file tmpname
(insert template)
tmpname)
(call-process (executable-find "texi2dvi")
nil (get-buffer-create "*texi2dvi-buf*") nil
"-o" dviname tmpname)
(if multiline
(progn
(call-process (executable-find "catdvi") nil (list catdvi-buf nil) nil
"-e" "0" dviname)
(replace-regexp-in-string
;; removes page numbering and page break
"[\f\v\t\n ]*1[\f\n\t \\.]*\\'" ""
(with-current-buffer catdvi-buf (buffer-string))))
(progn
(call-process (executable-find "catdvi") nil (list catdvi-buf nil) nil
"-s" "-e" "0" dviname)
(org-trim
(replace-regexp-in-string
;; removes page numbering and page break
"1[\f\n\t \\.]*\\'" ""
(with-current-buffer catdvi-buf (buffer-string))))))))
(defun my/org-ascii-latex-fragment (orig latex-fragment contents info)
(when (plist-get info :with-latex)
(my/latex-to-ascii
(org-element-property :value latex-fragment))))
(defun my/org-ascii-latex-environment (orig latex-environment contents info)
(message "my/org-ascii-latex-environment")
(when (plist-get info :with-latex)
(org-ascii--justify-element
(my/latex-to-ascii
(org-remove-indentation (org-element-property :value latex-environment)) t)
latex-environment info)))
(advice-add 'org-ascii-latex-fragment :around 'my/org-ascii-latex-fragment)
(advice-add 'org-ascii-latex-environment :around 'my/org-ascii-latex-environment)
Tenga en cuenta que también necesitará compilar catdvi
desde las fuentes. También hay un pequeño problema al compilarlo: algunos archivos C usan una variable definida en un archivo de encabezado dependiente (normalmente instalado por separado) sin un const
, mientras que el encabezado necesita que sea un const
(fácilmente arreglado simplemente agregando el bit de declaración necesario). texi2dvi
debe estar disponible para instalar desde el administrador de paquetes.
Alternativas para LaTeX en línea:
Estaba pensando en usar TeX
el método de entrada, que puede usar caracteres de subíndice y superíndice Unicode, sin embargo, esto requeriría analizar y preprocesar el código LaTeX para alimentarlo al TeX
método de entrada.
Otra alternativa es tratar de usar el análisis AUCTeX para descifrar subíndices y superíndices, pero ambos exigen demasiado esfuerzo ... Es más fácil en este momento usar catdvi
fórmulas en línea y luego arreglar los subíndices / superíndices a mano.
(defun my/prepare-tex-ime (input)
(cl-loop for paren in '("[]{}") do
(setq input (replace-regexp-in-string
(format "\\\\%s" paren) paren input)))
input)
(defun my/tex-ime-translate (input)
(with-temp-buffer
(set-input-method 'TeX)
(setq quail-current-key "")
(cl-loop for c across input do
(setq last-command-event c)
(call-interactively 'quail-self-insert-command))
(buffer-string)))
Ejemplos:
** Problem 1
Prove that
#+HEADER: :exports results
#+HEADER: :results (by-backend (pdf "latex") (t "raw"))
#+BEGIN_SRC latex
\begin{align*}
L = \{w \in \{a, b, c, d\}^* \;|\; w=dv, v \in \{a, b, c\}^*,
\#_a(w) \cdot \#_c(w) < \#_b(w) \}
\end{align*}
#+END_SRC
is not regular.
Se traduce como
1.1 Problem 1
─────────────
Prove that
∗ ∗
L = {w ∈ {a,b,c,d} | w = dv,v ∈ {a,b,c} ,# (w)·# (w) < # (w)}
a c b
is not regular.