Bourbaki...

Thierry Poma

Bonjour

Comment faire en sorte de produire du texte mathématique avec les mêmes lignes qui courent au dessus, voire au dessous, puis que ce texte mathématique soit bien aligné avec du texte basique (comme le montrent les deux reproductions ci-jointes) ? Je voudrais également les mêmes symboles. Je vous remercie par avance.

Bien cordialement,

Thierry

Math Coss

Au-delà du défi typographique, je ne comprends pas ta motivation.

brian

Bonjour,

On peut faire ça avec TikZ. Au sein d'un paragraphe, cela fera quasi inévitablement augmenter l'interligne, évidemment. Sinon, il faut accepter que les tracés dont il est question ici traversent certains caractères de la ligne de texte précédente (ce que l'on peut faire en passant la clé overlay de TikZ aux deux commandes \draw de la figure).

\documentclass{article}
\usepackage{amsfonts}
\usepackage{tikz}
\usetikzlibrary{tikzmark}
\usepackage{lipsum}

\newcommand*{\carre}{\mathrel{\square}}

\begin{document}

\lipsum[1][1-2]
\begin{tikzpicture}[remember picture, baseline=(n.base)]
\node (n)
  {$\tikzmarknode{n1}{\tau} \lor \lnot \in {}
    \mathrel{\tikzmarknode{n2}{\carre}} A' \in {}
    \mathrel{\tikzmarknode{n3}{\carre}} A''.$};
\coordinate (p) at ([yshift=-0.5ex] n.north); % définit l'altitude de base
\draw ([xshift=0.1em]  n1 |- p) -- ++(0,1ex)   -| (n2 |- p);
\draw ([xshift=-0.1em] n1 |- p) -- ++(0,1.6ex) -| (n3 |- p);
\end{tikzpicture}

\end{document}

P.

(tu)