2013/12/30 Thomas S. Dye <tsd@tsdye.com>

get this LaTeX, which works as expected:

\begin{equation}
\label{eq:2}

A $\to$ $\neg{}$ B
\end{equation}
% Emacs 24.3.1 (Org mode 8.2.4)

Bonsoir Thomas,

Indeed, the code works correctly. I do not understand why

#+NAME: eq:2

#+BEGIN_EQUATION

#+END_EQUATION

does not produce the same thing when I export it into latex.

I have this list of preambules:

# -*- Mode:org; mode:reftex; coding:utf-8 -*-

#+OPTIONS: H:5 num:t toc:t \n:nil @:t ::t |:t ^:nil -:t f:t *:t <:t

#+OPTIONS: tex:verbatim

#+LaTeX_CLASS: koma-article

#+LaTeX_CLASS_OPTIONS: [koma,a4paper]

#+LANGUAGE: en

#+LATEX_HEADER: \usepackage[AUTO]{inputenc}

#+LATEX_HEADER: \usepackage[hyperref,x11names]{xcolor}

#+LATEX_HEADER: \usepackage[colorlinks=true,urlcolor=SteelBlue4,linkcolor=Firebrick4]{hyperref}

#+LaTeX_HEADER: \usepackage[backend=biber,style=verbose]{biblatex}

#+LaTeX_HEADER: \bibliography{jvr-biblatex-references.bib}

#+LaTeX_HEADER: \usepackage{bussproofs}

#+LaTeX_HEADER: \usepackage{amsmath,amssymb,amsopn}

#+LaTeX_HEADER: \usepackage{fitch}

#+OPTIONS: tex:verbatim

#+HTML_MATHJAX: align:"left" mathml:t path:"/MathJax/MathJax.js"

#+OPTIONS: tex:imagemagick

Could you send to me your configuration files and your preambles please, it would be certainly helpful.

In advance thanks,

Best wishes,

Jo.