Re: AUCTeX key bindings within Org documents

[Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>]

Thanks Nicolas, your reply is helpful for me .

Best wishes,

Jo.

2013/10/5 Nicolas Richard <theonewiththeevillook@yahoo.fr>:
> Hello Joseph,
>
> Joseph Vidal-Rosset <joseph.vidal.rosset@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.