Comment écrire les bra-kets de Dirac ou une spécification d’ensemble ?#

Ou « comment obtenir une barre verticale dans une expression mathématique ? »

L’une des rares omissions flagrantes des capacités de composition mathématique de est une façon de placer des séparateurs au milieu d’expressions mathématiques.

fournit bien des primitives appelées \left et \right, qui peuvent être utilisées pour modifier les parenthèses (ou délimiteurs de toutes sortes) autour d’une expression mathématique, comme dans : \left( ⟨expression⟩ \right), ce qui fera que la taille des parenthèses sera adaptée à la hauteur de leur contenu. Cependant, dans certaines expressions mathématiques, on peut avoir besoin d’une commande \middle, comme ici :

\documentclass[12pt]{article}
  \usepackage{lmodern}
  \usepackage{braket}
  \pagestyle{empty}

\begin{document}
\[\left\{ x \in \mathbb{N} \middle| x \mbox{ even} \right\}\]
\end{document}

pour désigner l’ensemble des entiers naturels pairs.

Le système fournit une telle commande, mais les utilisateurs du original de Knuth n’ont pas la même chance. L’extension braket de Donald Arseneau résout le problème, en fournissant des commandes pour les spécifications d’ensembles (comme ci-dessus) et pour les parenthèses de Dirac (et les fameux « bras » et « kets »).

Note

L’extension braket utilise la commande intégrée à s’il est chargé sous