From mboxrd@z Thu Jan  1 00:00:00 1970
From: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
Subject: Re: Math formatting in HTML export - The Org Manual
Date: Mon, 13 Oct 2014 17:50:37 +0200
Message-ID: <8738asarzm.fsf@gmail.com>
References: <CAD-VTcFfQVjNgO4kfjKAUJ5RgtQ_bD84P2h1bonWOCe-Os+6zQ@mail.gmail.com>
	<CAAjq1mf5TTnH7vtupV2OCZDCji7hMWoEAYd-cCVtcFWM+UKkWg@mail.gmail.com>
	<CAD-VTcGw=GgjD74QUgvxuNoN5sqh7wBpGnw4GMH2QAgjUu0JqQ@mail.gmail.com>
	<878ukktcpz.fsf@pinto.chemeng.ucl.ac.uk>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:39085)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1Xdhtg-0003WF-1a
	for emacs-orgmode@gnu.org; Mon, 13 Oct 2014 11:50:57 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1Xdhte-0001hw-Qw
	for emacs-orgmode@gnu.org; Mon, 13 Oct 2014 11:50:55 -0400
Received: from mail-wi0-x22e.google.com ([2a00:1450:400c:c05::22e]:45893)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <joseph.vidal.rosset@gmail.com>) id 1Xdhte-0001hj-K4
	for emacs-orgmode@gnu.org; Mon, 13 Oct 2014 11:50:54 -0400
Received: by mail-wi0-f174.google.com with SMTP id h11so4168492wiw.7
	for <emacs-orgmode@gnu.org>; Mon, 13 Oct 2014 08:50:53 -0700 (PDT)
In-Reply-To: <878ukktcpz.fsf@pinto.chemeng.ucl.ac.uk> (Eric S. Fraga's message
	of "Mon, 13 Oct 2014 12:45:28 +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-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: Grant Rettke <gcr@wisdomandwonder.com>
Cc: "Liste-emacs-orgmode@gnu.org" <emacs-orgmode@gnu.org>

Le lun.  13 oct. 2014  =C3=A0 01:45:28 ,  Eric S Fraga  <e.fraga@ucl.ac.uk>=
 a
envoy=C3=A9 ce message:
> On Monday, 13 Oct 2014 at 09:45, Joseph Vidal-Rosset wrote:
>
> [...]
>
>> Here is a minimal document as example
>>
>> #+OPTIONS: tex:imagemagick
>> #+TITLE: Minimal logic
>>
>> #+AUTHOR: Joseph Vidal-Rosset
>>
>> \begin{equation}
>> \neg A \to (A \to B)
>> \end{equation}
>
> This works perfectly fine for me with both dvipng (my default choice)
> and imagemagick.  The problem may be in your LaTeX installation: what
> fonts are used etc.?


I have just tested=20
and it works. I conclude that the problem comes from imagemagick.=20

But dvipng does not succeed to make png images of proofs via bussproofs.sty=
.=20

For example, I do not succeed to transform this proof into a png image:=20

\begin{prooftree}
\def\fCenter{\ \Rightarrow\ }
\AxiomC{}
\RightLabel{\scriptsize{Ax.}}
\UnaryInf$A \to \bot, \bot \fCenter \bot$
\RightLabel{\scriptsize{$L\neg$def.}}
\UnaryInf$ \neg A, \bot \fCenter \bot$
\RightLabel{\scriptsize{$R\neg$}}
\UnaryInf$\bot \fCenter \neg \neg A$
\AxiomC{}
\RightLabel{\scriptsize{Ax.}}
\UnaryInf$A, \bot \fCenter \bot$
\RightLabel{\scriptsize{$R\neg$}}
\UnaryInf$\bot \fCenter \neg A$
\RightLabel{\scriptsize{$R\land$}}
\BinaryInf$\bot \fCenter \neg \neg A \land \neg A$
\end{prooftree}


I succeeded also to do it with Gnus by adding #+LaTeX_HEADERS:
\usepackage{bussproofs} on the top of the message, and no it does not no
more... that's another problem...=20