Thanks Nicolas, your reply is helpful for me .
Best wishes,
Jo.
2013/10/5 Nicolas Richard <theonewiththeevill...@yahoo.fr>:
> Hello Joseph,
>
> Joseph Vidal-Rosset <joseph.vidal.ros...@gmail.com> writes:
>> #+begin_equation
>> \label{ECQ}
>> \neg A , A \vdash B
>> \tag{ECQ}
>> #+end_equation
>
> IIUC, auckeys mode is not meant to insert latex constructs in org mode,
> but to get an "org equivalent" or org-like effect for a given key chord.
> The aim is to produce a classical org mode file, not a LaTeX only org
> mode file.
>
>> 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. ?
>
> I never managed to do that in pure org mode : I sometimes write the
> outline in org but at some point I export to latex and go on from there.
> I'm so much more comfortable in auctex and latex, I have no plan to try
> doing everything in org mode.
>
> --
> Nico.
