====== 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 TeX
est une façon de placer des séparateurs //au milieu// d'expressions mathématiques.
TeX 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:
\left\{ x \in \mathbb{N} \middle| x \mbox{ even} \right\}
\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 [[1_generalites:glossaire:qu_est_ce_que_etex|système ε-TeX]] fournit une telle commande,
mais les utilisateurs du TeX original de Knuth n'ont pas la même chance.
L'extension [[ctanpkg>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
[[wpfr>Notation_bra-ket|parenthèses de Dirac (et les fameux « bras » et « kets »)]].
L'extension [[ctanpkg>braket]] utilise la commande intégrée à ε-TeX s'il est chargé sous ε-TeX.
-----
//Source:// [[faquk>FAQ-braket|Set specifications and Dirac brackets]]
{{htmlmetatags>metatag-keywords=(LaTeX,mathématiques,grands délimiteurs,délimiteur interne,crochets,parenthèses,notation Bayesienne)
metatag-og:title=(Comment écrire les bra-kets de Dirac ou une spécification d'ensemble?)
metatag-og:site_name=(FAQ LaTeX francophone)
}}