Du coup, il faut faire cela à la main, en avance. C’est loin d’être élégant, mais quand j’aurais l’occasion j’expliquerai peut-être comment faire une CGI avec.

Après une rapide phase de recherche[1], je découvre dvipng qui correspond exactement à mon besoin. Il ne reste plus qu’à assembler tout cela.

Tout d’abord, nous avons besoin d’un squelette de LaTeX.

  • listing: squelette minimaliste
\documentclass[11pt]{article}
\usepackage[frenchb]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{libertine,inconsolata}
\usepackage{amsmath,amsthm,amssymb}
\pagestyle{empty}
\begin{document}
\begin{equation*}
y=\int_0^\infty\gamma^2\cos(x)dx
\end{equation*}
\end{document}

Le pagestyle est nécessaire pour éviter quelques désagréments. Ce squelette est ensuite transformé en DVI, puis en PNG; Nous précisons dans les options que l’image résultante est resserrée sur le contenu du LaTeX (-T tight) ainsi que la résolution (-D 120) et le niveau de compression (-z 9).

  • listing: conversion en PNG
$ latex <equation>.tex && dvipng -T tight -D 120 -z 9 -bg transparent <equation>.dvi -o <equation>.png

Et le résultat est… moche!

y=\int_0^\infty\gamma^2\cos(x)dx

Ça manque un peu de couleur tout ça[2]. Ajoutons quelques nouveaux packages et les commandes qui vont avec[3].

  • listing: ajout de la couleur
\usepackage{xcolor,empheq}
\newcommand*\thecolorbox[1]{%
    \colorbox[HTML]{303030}{\hspace{0.1em}#1\hspace{0.1em}}}
\newenvironment{coleq}[2][]{%
        \color[HTML]{B2C977}%
        \setkeys{EmphEqEnv}{#2}%
        \setkeys{EmphEqOpt}{box=\thecolorbox,#1}%
        \EmphEqMainEnv
    }{%
        \endEmphEqMainEnv
    }%

Pour l’instant, je laisse la couleur fixe; On utilise ensuite n’importe quel environnement de AMS à partir du nouvel environnement coleq. Et le dernier exemple pour la route.

\begin{coleq}[]{equation*}
    \dfrac{
        \Gamma\vdash e_1:T'\supseteq\{\}\hspace{12pt}\Gamma\vdash e_2:T
    }{
        \Gamma\vdash e_1[f\mapsto e_2]:T'\cup\{f:T\}
    }
\end{coleq}

Et voila le travail! ;)

\dfrac{\Gamma\vdash e_1:T'\supseteq\{\}\hspace{12pt}\Gamma\vdash e_2:T}{\Gamma\vdash e_1[f\mapsto e_2]:T'\cup\{f:T\}}

Notes

[1] merci à Nonal de #latex@rezosup.org

[2] mais ça passe très bien en noir sur fond blanc

[3] trouvées dans le manuel