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

>  get this LaTeX, which works as expected:
>
> \begin{equation}
> \label{eq:2}
> A [image: \to] [image: \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.