Hello Fabrice, Hi everybody,
Thanks a lot Fabrice for your package to get AUCTeX key binginds within
Org documents.
Maybe I do not use it correctly by I want to point out to you some
unwanted results:
#+begin_equation
\label{ECQ}
\neg A , A \vdash B
\tag{ECQ}
#+end_equation
exported in LaTeX is translated in .tex file:
\begin{equation}
\label{ECQ}
$\neg{}$ A , A \vdash B
\tag{ECQ}
\end{equation}
and of course it does not work.
My question is therefore more general: how writing scienfific papers in
org-mode documents i.e. how writing useful environments like equation,
bussproofs, fitch, etc. every useful package for logicians,
mathematicians, etc. ?
In advance, thanks for your help.
Jo.
--
Joseph Vidal-Rosset
Archives Poincaré
91, Bd. Libération
BP 454
F-54001 NANCY Cedex
Site web: http://www.philfree.org
Google Talk - MSN login: joseph.vidal.ros...@gmail.com
