emacs-orgmode@gnu.org archives
 help / color / mirror / code / Atom feed

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

  List information: https://www.orgmode.org/

* 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

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).