From: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
To: Grant Rettke <gcr@wisdomandwonder.com>
Cc: "Liste-emacs-orgmode@gnu.org" <emacs-orgmode@gnu.org>
Subject: Re: Math formatting in HTML export - The Org Manual
Date: Mon, 13 Oct 2014 17:50:37 +0200 [thread overview]
Message-ID: <8738asarzm.fsf@gmail.com> (raw)
In-Reply-To: <878ukktcpz.fsf@pinto.chemeng.ucl.ac.uk> (Eric S. Fraga's message of "Mon, 13 Oct 2014 12:45:28 +0100")
Le lun. 13 oct. 2014 à 01:45:28 , Eric S Fraga <e.fraga@ucl.ac.uk> a
envoyé 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
and it works. I conclude that the problem comes from imagemagick.
But dvipng does not succeed to make png images of proofs via bussproofs.sty.
For example, I do not succeed to transform this proof into a png image:
\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...
next prev parent reply other threads:[~2014-10-13 15:50 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-12 8:17 Math formatting in HTML export - The Org Manual Joseph Vidal-Rosset
2014-10-13 0:45 ` Grant Rettke
2014-10-13 7:45 ` Joseph Vidal-Rosset
2014-10-13 11:45 ` Eric S Fraga
2014-10-13 15:50 ` Joseph Vidal-Rosset [this message]
2014-10-14 7:25 ` Eric S Fraga
2014-10-14 17:23 ` Joseph Vidal-Rosset
2014-10-14 17:51 ` Nick Dokos
2014-10-15 5:54 ` Joseph Vidal-Rosset
2014-10-14 19:09 ` Eric S Fraga
2014-10-15 5:59 ` Joseph Vidal-Rosset
2014-10-15 7:21 ` Eric S Fraga
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=8738asarzm.fsf@gmail.com \
--to=joseph.vidal.rosset@gmail.com \
--cc=emacs-orgmode@gnu.org \
--cc=gcr@wisdomandwonder.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.