Texlive packages in Gnus via Org

Texlive packages in Gnus via Org

[Joseph Vidal-Rosset]

[-- Attachment #1: Type: text/plain, Size: 1099 bytes --]

#+OPTIONS: latex:t

Hello Nick, Bastien, Eric, Uwe, and the list, 

I know that I am obstinate, but  I am obstinate about this topic because
I   feel    that   what   I   would    be   happy   to   get    is   not
impossible. Unfortunately, I am an amateur, bad in programming languages
and I am unable to reach by myself this goal. 

Now I am  finally able to write  a formula in a Gnus  article, like this
simple one for example $ p \to p $ . 

But I need more. If I write 

#+begin{equation}
A \vdash_{m} \neg \neg A
#+end{equation}

I am not sure that it will work. It would be already very nice. 

I know that the latex code 

#+BEGIN_SRC
  \begin{equation}
  A \vdash_{m} \neg \neg A
  \end{equation}
#+END_SRC

will  not work,  neither for  example if  I try  to use  another texlive
package like bussproofs. 

I wonder  how it is  possible to get png  images in Gnus  for everything
that is created by  latex, as it is possible already to  get it for html
via org export. 

It could be  very nice for the  scientific community to get  such a tool
thanks to Gnus + Org. 

Best wishes, 

Jo. 

[-- Attachment #2.1: Type: text/html, Size: 1331 bytes --]

Re: Texlive packages in Gnus via Org

[Bastien]

Hi Joseph,

Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> writes:

> I wonder how it is possible to get png images in Gnus for everything
> that is created by latex, as it is possible already to get it for
> html
> via org export.

One indirect way is to run M-x org-preview-latex-fragment RET in a
buffer containing the equations, then inlining the .png files from
the ltxpng/ directory.

I can't think of something more direct right now.

> It could be very nice for the scientific community to get such a tool
> thanks to Gnus + Org.

By reading Cedric Villani last book, I was under the impression
that the whole scientific community was able to read TeX equations
directly, with no need of visual feedback ;)  But agreed, this
would be nice.

-- 
 Bastien

Re: Texlive packages in Gnus via Org

[Joseph Vidal-Rosset]

[-- Attachment #1: Type: text/plain, Size: 1940 bytes --]

#+OPTIONS: latex:t
Le jeu.  09 janv. 2014  à 11:49:14 ,  Bastien <bzg@gnu.org> a  envoyé ce
message:
> Hi Joseph,
>
> Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> writes:
>
>> I wonder how it is possible to get png images in Gnus for everything
>> that is created by latex, as it is possible already to get it for
>> html
>> via org export.
>
> One indirect way is to run M-x org-preview-latex-fragment RET in a
> buffer containing the equations, then inlining[fn:1] the .png files from
> the ltxpng/ directory.
>
> I can't think of something more direct right now.

I try: 


\begin{equation}
\neg \neg A \vdash_{m} A
\end{equation}


It seems  that it will  work for the equation  package, but it  does not
work with  for example  other packages: the  prooftree command  given by
bussproofs package does not work,

\begin{prooftree}
\AxiomC{$A$}
\AxiomC{$A \to \bot$}
\RightLabel{\scriptsize{$\to E$}}
\BinaryInfC{$\bot$}
\end{prooftree}


neither fitch proofs: 

\begin{equation*}
\begin{fitch}
\fh A & H \\
\fa \fh \bot & H \\
\fa A \to \bot 
\end{fitch}
\end{equation*}




>
>> It could be very nice for the scientific community to get such a tool
>> thanks to Gnus + Org.
>
> By reading Cedric Villani last book, I was under the impression
> that the whole scientific community was able to read TeX equations
> directly, with no need of visual feedback ;)  But agreed, this
> would be nice.

The scientific community  can live without this tool, of  course, but it
would be nice if Org + Gnus  could be the email client par excellence of
this community. I am happy to see that you agree. 

Best wishes,

Jo. 

[fn:1] I guess  that  by "inlining"  you mean  making  the command  M-x
org-mime-htmlize  . But  I am  not sur  that is  what you  meant. It  is
nevertheless already  a great pleasure of  making Org working in  Gnus !
What a terrific tool ! 

[-- Attachment #2.1: Type: text/html, Size: 3075 bytes --]

[-- Attachment #2.2: latex6879-dX_b3a8f89e4d9ae735182bfa943e20e2e087009aa9.png --]
[-- Type: image/png, Size: 584 bytes --]

Re: Texlive packages in Gnus via Org

[Joseph Vidal-Rosset]

Le   jeu.   09   janv.   2014   à   12:18:48   ,   Joseph   Vidal-Rosset
<joseph.vidal.rosset@gmail.com> a envoyé ce message:
> Le jeu. 09 janv. 2014 à 11:49:14 , Bastien <bzg@gnu.org> a envoyé ce
> message:
>> Hi Joseph,
>>
>> Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> writes:
>>
>>> I wonder how it is possible to get png images in Gnus for everything
>>> that is created by latex, as it is possible already to get it for
>>> html
>>> via org export.
>>
>> One indirect way is to run M-x org-preview-latex-fragment RET in a
>> buffer containing the equations, then inlining^1 the .png files from
>> the ltxpng/ directory.
>>
>> I can't think of something more direct right now.
>
> I try:
>
> \begin{e
>
> It seems that it will work for the equation package, but it does not
> work with for example other packages: the prooftree command given by
> bussproofs package does not work,

Errata: read the index "m" in this formula as "c". It is a formula valid
in classical logic of  course, and not in minimal logic.  But it was not
the point of my email. 

:)

Jo. 

Re: Texlive packages in Gnus via Org

[Joseph Vidal-Rosset]

[-- Attachment #1: Type: text/plain, Size: 345 bytes --]

#+OPTIONS: latex:t
#+LATEX_HEADER: \usepackage{bussproofs}

Maybe by adding  in headers LaTex Header  in the style of a  org file it
could work

\begin{prooftree}
\AxiomC{$A$}
\AxiomC{$A \to \bot$}
\RightLabel{\scriptsize{$\to E$}}
\BinaryInfC{$\bot$}
\end{prooftree}


it works !!!

Thanks a lot Bastien, you are a genius !

Best wishes,

Jo. 

[-- Attachment #2.1: Type: text/html, Size: 494 bytes --]

[-- Attachment #2.2: latex6879Y5X_5a473d324e2f0d6a44d1ea34bd1a35a78bf357d7.png --]
[-- Type: image/png, Size: 548 bytes --]

Re: Texlive packages in Gnus via Org

[Joseph Vidal-Rosset]

Hello the list, 

The good news is that it is therefore of course already possible NOW to use Org
inside Gnus and  that everyone can use  the export into html  for a very
clean scientific correspondence. 

Many thanks to  Carsten Dominik, to Bastien Guerry, to  Eric Schulte and
Dan Davidson, and to all this great  team of Org. Forgive me if I cannot
quote all the names. 


Best wishes, and happy new year again !

Jo.