* ox-html: proof-tree (bussproofs) latex fragment
@ 2019-04-26 17:24 Robert M. Kovacsics
0 siblings, 0 replies; only message in thread
From: Robert M. Kovacsics @ 2019-04-26 17:24 UTC (permalink / raw)
To: emacs-orgmode
Hi,
I have a latex-fragment like so
#+LATEX_HEADER: \usepackage{bussproofs}
#+OPTIONS: tex:dvipng
\begin{prooftree}
\AxiomC{}
\LeftLabel{(fn)}
\UnaryInfC{$\text{Env}\vdash C(\text{Env}', \text{fn } x \ \Rightarrow\
E_1)\ v \ \to\ \text{Env},\text{Env}',(x,v)\vdash E_1$}
\end{prooftree}
when I export this, it fails because it replaces the \begin{prooftree}
with \begin{prooftree*}, and there is no such environment. I think the
problem is with "org-html--unlabel-latex-environment" in ox-html.el, as
it assumes any environment has a starred version. Perhaps that function
should only be applied to a couple of environments, e.g. equation,
according to a whitelist? Or have a blacklist for which it shouldn't
apply.
Or perhaps I am including latex fragments wrong?
Thanks,
Robert
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2019-04-26 17:24 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-04-26 17:24 ox-html: proof-tree (bussproofs) latex fragment Robert M. Kovacsics
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).