- ¦
-
Barre verticale
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
¦
.Sommaire
É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.
Utilisation
Mathématiques
La barre verticale est utilisée dans la table des symboles mathématiques :
- Valeur absolue : se lit « la valeur absolue (ou module) de x » ;
- Norme : 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 ensembliste : se lit « l’ensemble des x tels que x soit plus petit que deux » (souvent la définition s'écrit avec un deux-points (:) plutôt qu'une barre verticale).
- Probabilité conditionnelle : se lit « la probabilité de X sachant Y » ;
- Divisibilité : se lit « a divise b » ;
- Symbole de Sheffer en logique : , c'est-à-dire « non(a et b) » ou à l'anglaise « a nand b ».
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).
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.
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,
- <identifiant> ::= <nom> | <initiales>
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.
Expressions rationnelles
Dans les expression rationnelles, le pipe indique l'alternative (l'opérateur de choix). Par exemple, grep 'foo|bar' retournera 'foo' ou 'bar'.
Shell
Dans les shells UN*X le pipe permet de diriger la sortie d'une commande (par exemple dmesg) vers une autre commande (grep par exemple). Par exemple,
… redirigera la sortie de dmesg sur grep qui ne sortira que les lignes contenant le mot "firewire".
Disjonction
Dans de nombreux langages de programmation, cela désigne la fonction logique OU, que ce soit le ou bit à bit ou le ou logique.
Ainsi, dans le langage de programmation C et d'autres langages utilisant la syntaxe du C comme le Perl et le Java, (a | b) signifie ou bit à bit, tandis que la double barre verticale (a || b) signifie ou logique.
Concaténation
En PL/I et SQL, l'opérateur "||" dénote la concaténation de deux chaînes de caractères.
Délimitation
Bien que moins rencontré que les virgules ou les tabulations, le symbole "|" peut être utilisé dans un fichier texte représentant des données tabulaires, comme par exemple le format LEDES 1998B.
Orthographe Khoïsan
Dans la famille de langues khoïsannes, le "|" est utilisé pour transcrire le clic.
Codage du caractère apostrophe
nom glyphe Unicode codePage 1252 MacRoman entité HTML Barre verticale | 007C Lettre latine clic dental ǀ 01C0 Ponctuation hébraïque paseq, pési, légarméh ׀ 05C0 Est un diviseur de ∣ 2223 Barre verticale fine ❘ 2758 Barre verticale discontinue, barre déjointe, barre à trou ¦ 00A6 ¦
Barre oblique / 002F Lettre latine clic latéral ǁ 01C1 Parallèle à ∥ 2225 Double ligne verticale ‖ 2016 Point d’exclamation, factorielle ! 0021 Articles connexes
- Portail de l’écriture
Catégorie : Symbole typographique
Wikimedia Foundation. 2010.