From mboxrd@z Thu Jan  1 00:00:00 1970
From: Eric S Fraga <e.fraga@ucl.ac.uk>
Subject: Re: Math formatting in HTML export - The Org Manual
Date: Mon, 13 Oct 2014 12:45:28 +0100
Message-ID: <878ukktcpz.fsf@pinto.chemeng.ucl.ac.uk>
References: <CAD-VTcFfQVjNgO4kfjKAUJ5RgtQ_bD84P2h1bonWOCe-Os+6zQ@mail.gmail.com>
	<CAAjq1mf5TTnH7vtupV2OCZDCji7hMWoEAYd-cCVtcFWM+UKkWg@mail.gmail.com>
	<CAD-VTcGw=GgjD74QUgvxuNoN5sqh7wBpGnw4GMH2QAgjUu0JqQ@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:42303)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <e.fraga@ucl.ac.uk>) id 1Xde4M-0004fl-0F
	for emacs-orgmode@gnu.org; Mon, 13 Oct 2014 07:45:49 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <e.fraga@ucl.ac.uk>) id 1Xde4E-0007XF-7o
	for emacs-orgmode@gnu.org; Mon, 13 Oct 2014 07:45:41 -0400
Received: from mail-db3on0125.outbound.protection.outlook.com
	([157.55.234.125]:41376
	helo=emea01-db3-obe.outbound.protection.outlook.com)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <e.fraga@ucl.ac.uk>) id 1Xde4D-0007Wx-R4
	for emacs-orgmode@gnu.org; Mon, 13 Oct 2014 07:45:34 -0400
In-Reply-To: <CAD-VTcGw=GgjD74QUgvxuNoN5sqh7wBpGnw4GMH2QAgjUu0JqQ@mail.gmail.com>
	(Joseph Vidal-Rosset's message of "Mon, 13 Oct 2014 09:45:26 +0200")
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: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
Cc: "Liste-emacs-orgmode@gnu.org" <emacs-orgmode@gnu.org>, Grant Rettke <gcr@wisdomandwonder.com>

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

What does the PDF or DVI for this LaTeX file:

--8<---------------cut here---------------start------------->8---
% Created 2014-10-13 Mon 12:43
\documentclass{minimal}
\begin{document}
\begin{equation}
\neg A \to (A \to B)
\end{equation}
% Emacs 24.4.50.1 (Org mode 8.3beta)
\end{document}
--8<---------------cut here---------------end--------------->8---

look like?
-- 
: Eric S Fraga (0xFFFCF67D), Emacs 24.4.50.1, Org release_8.3beta-408-g39f5f0