Barre verticale

Un article de Wikipédia, l'encyclopédie libre.

Cette page contient des caractères spéciaux.

Si certains caractères de cet article s’affichent mal (carrés vides, points d’interrogation, etc.), consultez la page d’aide Unicode.

v · d · m \| ¦
Ponctuation
Accolades ( { } ) · Parenthèses ( ( ) ) Chevrons ( < > ) · Crochets ( [ ] ) Guillemets ( « » ou “ ” ) Apostrophe ( ' ou ’ ) · Virgule ( , ) Barre oblique ( / ), inversée ( \ ) Espace ( ) · Point médian ( · ) Espace insécable ( ) Point ( . ) · Points de suspension ( … ) Point-virgule ( ; ) · Deux-points ( : ) Point d’exclamation ( ! ), d’interrogation ( ? ) Point exclarrogatif ( ‽ ), d’ironie ( ) Trait d’union ( - ) · Tiret ( – ) Autres signes de ponctuation
Diacritique
Accent aigu ( ´ ), double ( ̋ ) Accent grave ( ` ), double ( ̏ ) Accent circonflexe ( ^ ) · Hatchek ( ˇ ) Barre inscrite ( - ) · Brève ( ˘ ) Cédille ( ¸ ) · Macron ( ˉ ) · Ogonek ( ˛ ) Corne ( ̛ ) · Crochet en chef ( ̉ ) Point souscrit ( ִ ), suscrit ( ˙ ) Rond en chef ( ˚ ) · Tilde ( ~ ) Tréma ( ¨ ) · Umlaut ( ˝ )
Symbole typographique
Arrobase ( @ ) · Esperluette ( & ) Astérisque ( * ) · Astérisme ( ⁂ ) Barre verticale ( \| ou ¦ ) Croisillon ( # ) · Numéro ( № ) Copyright ( © ) Marque ( ® ) Degré ( ° ) · Celsius ( ℃ ) Prime : minute, seconde et tierce ( ′ ″ ‴ ) Obèle ( † et ‡ ) · Paragraphe ( § ) Par conséquent ( ∴ ) · Parce que ( ∵ ) Pied de mouche ( ¶ ) · Puce ( • ) Tiret bas ( _ )
Symbole mathématique
Plus et moins ( + − ) · Plus ou moins ( ± ) Multiplié ( × ) · Divisé ( ÷ ) · Égal ( = ≠ ) Pour cent ( % ) · Pour mille ( ‰ ) Carré ( ² ) · Cube ( ³ ) · Micro ( µ )
Symbole monétaire
Euro ( € ) · Dollar ( $ ) · Livre sterling ( £ ) · Yen ( ¥ )

La barre verticale, le tube ou le pipe (mot anglais) est le nom du caractère ASCII 124, symbolisé par une barre verticale | ou une barre verticale brisée en son milieu ¦. En Unicode, la barre verticale se trouve au point U+007C, tandis que la « barre brisée » est un caractère à part, U+00A6. En HTML, la barre brisée peut être codée ¦.

[modifier] Étymologie

Le nom pipe (prononciation anglophone) pour le caractère « | » provient d'un usage commun dû au fait qu'il est utilisé dans le Bourne shell pour rediriger le flux de sortie d'un programme vers l'entrée d'un autre, comme s'ils étaient raccordés par un tube (pipe signifiant tube en français). Le mot pipe a alors, adapté à l'informatique, le même sens que dans pipeline.

[modifier] Utilisation

[modifier] Mathématiques

La barre verticale est utilisée dans la table des symboles mathématiques :

valeur absolue : $\,|x|$ se lit « la valeur absolue (ou module) de x ».
norme : $\,\|(x_1,x_2)\|$ se lit « la norme de x indice un, x indice deux » (Unicode possède également un symbole spécial à double barre verticale U+2016 : ‖x‖).
définition : $\,\{x|x<2\}$ se lit « soit x tel que x est plus petit que deux » (souvent la définition s'écrit avec un deux-points (:) plutôt qu'une barre verticale).
probabilité conditionnelle : $\,P(X|Y)$ se lit « la probabilité de X sachant Y ».
divisibilité : $\,a|b$ se lit « a divise b ».
symbole de Sheffer en logique : $a|b:=\neg(a\wedge b)$ , c'est-à-dire « non(a et b) » ou à l'anglaise « a nand b ».

[modifier] Pointeur de souris

Dans un texte qui ne peut être modifié mais qui peut être sélectionné, par exemple une page web, le pointeur de souris est souvent une barre verticale (comprenant parfois des empattements en haut et en bas).

[modifier] Langage de balisage wiki

Dans les sites utilisant le logiciel MediaWiki (Wikipédia par exemple), la barre verticale est utilisée (entre autres) dans la syntaxe wiki des liens internes pour séparer le lien du texte affiché. Par exemple, « [[article|texte]] » s'affiche « texte » mais lie vers « article ». Ce symbole est également employé pour l'écriture de tableaux et comme séparateur dans l'écriture de modèles.

[modifier] Forme de Backus-Naur

Dans cette forme, les expressions sont constituées de séquences de symboles et/ou de séquences séparées par des caractères « | », indiquant un choix, le tout pouvant être substitué au symbole à gauche. Par exemple,

[modifier] UNIX

Un pipe est une fonctionnalité de certains systèmes d'exploitations utilisée notamment dans UNIX et qui permet de rediriger la sortie standard d'un processus vers l'entrée standard d'un autre. Dans les interpréteurs de commande, le pipe est représenté par une barre verticale. Cette fonctionnalité se trouve aussi sous DOS et Windows.