From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Robert M. Kovacsics" <rmk35@cam.ac.uk>
Subject: ox-html: proof-tree (bussproofs) latex fragment
Date: Fri, 26 Apr 2019 18:24:41 +0100
Message-ID: <e1063dbf380a4c335f643f15303873b3@cam.ac.uk>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII;
 format=flowed
Content-Transfer-Encoding: 7bit
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([209.51.188.92]:48127)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <rmk35@cam.ac.uk>) id 1hK4ad-0000EN-IL
	for emacs-orgmode@gnu.org; Fri, 26 Apr 2019 13:24:48 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <rmk35@cam.ac.uk>) id 1hK4ac-0007W5-52
	for emacs-orgmode@gnu.org; Fri, 26 Apr 2019 13:24:47 -0400
Received: from ppsw-43.csi.cam.ac.uk ([131.111.8.143]:47564)
	by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71) (envelope-from <rmk35@cam.ac.uk>) id 1hK4ab-0007LW-GQ
	for emacs-orgmode@gnu.org; Fri, 26 Apr 2019 13:24:46 -0400
Received: from webmail-1b.csi.cam.ac.uk ([131.111.9.33]:33414)
	by ppsw-43.csi.cam.ac.uk (ppsw.cam.ac.uk [131.111.8.136]:25)
	with esmtp id 1hK4aX-0004GP-nf (Exim 4.91) for emacs-orgmode@gnu.org
	(return-path <rmk35@cam.ac.uk>); Fri, 26 Apr 2019 18:24:41 +0100
Received: from [127.0.0.1] (helo=webmail-2.hermes.cam.ac.uk)
	by webmail-1b.csi.cam.ac.uk with esmtp id 1hK4aX-0000ul-CX (Exim 4.91)
	for emacs-orgmode@gnu.org (return-path <rmk35@cam.ac.uk>);
	Fri, 26 Apr 2019 18:24:41 +0100
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode/>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: "Emacs-orgmode"
	<emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
To: emacs-orgmode@gnu.org

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