Le jeu. 09 janv. 2014 à 11:49:14 , Bastien <b...@gnu.org> a envoyé ce
message:
> Hi Joseph,
>
> Joseph Vidal-Rosset <joseph.vidal.ros...@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 inlining1 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 &amp; H \\
\fa \fh \bot &amp; 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.

Footnotes:

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 !

Reply via email to