Barre verticale - Vertical bar

|
Barre verticale
En  Unicode U+007C | LIGNE VERTICALE (HTML |  · |, |, | )

La barre verticale , | , est un glyphe avec diverses utilisations en mathématiques , en informatique et en typographie . Il a de nombreux noms, souvent liés à des significations particulières : Sheffer stroke (en logique ), pipe , vbar , stick , vertical line , bar , verti-bar , et plusieurs variantes de ces noms.

Usage

Mathématiques

La barre verticale est utilisée comme symbole mathématique de plusieurs manières :

  • valeur absolue : , lire "la valeur absolue de x "
  • cardinalité : , lire "la cardinalité de l' ensemble S "
  • probabilité conditionnelle : , lit "la probabilité de X étant donné Y "
  • déterminant : , lire "le déterminant de la matrice A ". Lorsque les entrées de la matrice sont écrites, le déterminant est indiqué en entourant les entrées de la matrice par des barres verticales au lieu des habituels crochets ou parenthèses de la matrice, comme dans .
  • distance : , désignant la distance la plus courte entre le point et la ligne , donc la ligne est perpendiculaire à la ligne
  • divisibilité : , lisez « a divise b » ou « a est un facteur de b », bien qu'Unicode fournisse également des symboles spéciaux « divise » et « ne divise pas » (U+2223 et U+2224 : ∣, ∤)
  • évaluation : , lire " f de x , évalué à x est égal à 4" (voir les indices sur Wikibooks)
  • length: , lire "la longueur de la chaîne s "
  • norm : , lire "la norme du vecteur (supérieur à une dimension) " (notez que la valeur absolue est une norme à une dimension), bien qu'une double barre verticale (voir ci-dessous) soit plus souvent utilisée pour éviter toute ambiguïté.
  • ordre : , lire "l' ordre du groupe G "
  • restriction : , désignant la restriction de la fonction , avec un domaine qui est un sur-ensemble de , à juste
  • notation set-builder : , lire "l'ensemble de x tel que x est inférieur à deux". Souvent, un deux - points ':' est utilisé à la place d'une barre verticale
  • le trait de Sheffer en logique : , lisez " a n et b "
  • soustraction : , lire " f(x) de a à b ", dénotant . Utilisé dans le contexte d'une intégrale définie avec la variable x .
  • Une barre verticale peut être utilisée pour séparer les variables des paramètres fixes dans une fonction, par exemple

La double barre verticale , , est également employée en mathématiques.

  • parallélisme : , lire "la droite est parallèle à la droite "
  • Norme : , lire "la norme (longueur, taille, magnitude etc.) du vecteur x". Les gens utilisent parfois deux barres simples par analogie avec la valeur absolue, qui est une norme unidimensionnelle.
  • Troncation propositionnelle (un ancien type qui tronque un type jusqu'à une simple proposition en théorie des types d'homotopie ) : pour tout (lire « terme de type ») nous avons ( lit ici « image de dans » et lit « troncature propositionnelle de »)

En mode mathématique LaTeX , la barre verticale ASCII produit une ligne verticale et crée une double ligne verticale ( est définie comme ). Cela a un espacement différent de et , qui sont des opérateurs relationnels : est défini comme . Voir ci-dessous à propos de LaTeX en mode texte. \|a | b \| c\mid\parallela \mid b \parallel c

La physique

La barre verticale est utilisée dans la notation bra–ket en physique quantique . Exemples:

  • : l'état physique quantique
  • : l' état dual correspondant à l'état ci-dessus
  • : le produit scalaire des états et
  • Les supergroupes en physique sont notés G ( N | M ), qui se lit " G , M barre verticale N " ; ici G désigne tout supergroupe, M désigne les dimensions bosoniques , et N désigne les dimensions de Grassmann .

L'informatique

Tuyau

Un tube est un mécanisme de communication inter-processus originaire d' Unix , qui dirige la sortie (sortie standard et, éventuellement, erreur standard) d'un processus vers l'entrée (entrée standard) d'un autre. De cette façon, une série de commandes peut être "dirigée" ensemble, donnant aux utilisateurs la possibilité d'effectuer rapidement un traitement complexe en plusieurs étapes à partir de la ligne de commande ou dans le cadre d'un script shell Unix ("fichier bash"). Dans la plupart des shells Unix (interpréteurs de commandes), cela est représenté par le caractère barre verticale. Par exemple:

grep -i 'blair' filename.log | more

où la sortie du grepprocessus est acheminée vers le moreprocessus.

La même fonctionnalité de "pipe" se retrouve également dans les versions ultérieures de DOS et Microsoft Windows.

Cet usage a conduit le personnage lui-même à être appelé "pipe".

Disjonction

Dans de nombreux langages de programmation, la barre verticale est utilisée pour désigner l' opération logique ou , soit au niveau du bit ou soit logique ou .

Plus précisément, en C et dans d'autres langages suivant les conventions de syntaxe C , telles que C++ , Perl , Java et C# , a | bdésigne un bit à bit ou ; alors qu'une double barre verticale a || bdénote un ( court-circuité ) logique ou . Étant donné que le caractère n'était à l'origine pas disponible dans toutes les pages de codes et toutes les dispositions de clavier, ANSI C peut le transcrire sous la forme du trigraphe ??! , qui, en dehors des littéraux de chaîne, est équivalent au |caractère.

Dans la syntaxe des expressions régulières , la barre verticale indique à nouveau logique ou ( alternance ). Par exemple : la commande Unix fait grep -E 'fu|bar'correspondre les lignes contenant 'fu' ou 'bar'.

Enchaînement

L'opérateur à double barre verticale "||" désigne la concaténation de chaînes en PL/I , en SQL ANSI standard et en informatique théorique (en particulier en cryptographie ).

Délimiteur

Bien qu'elle ne soit pas aussi courante que les virgules ou les tabulations, la barre verticale peut être utilisée comme délimiteur dans un fichier plat . Des exemples de format de données standard délimité par des tubes sont LEDES 1998B et HL7 . Il est fréquemment utilisé car les barres verticales sont généralement rares dans les données elles-mêmes.

De même, la barre verticale peut être utilisée comme délimiteur pour les opérations d' expression régulière (par exemple dans sed ). Ceci est utile lorsque l'expression régulière contient des instances du /délimiteur barre oblique ( ) le plus courant ; l'utilisation d'une barre verticale élimine le besoin d'échapper à toutes les instances de la barre oblique. Cependant, cela rend la barre inutilisable en tant qu'opérateur "alternatif" d'expression régulière.

Forme Backus-Naur

Sous la forme Backus-Naur , une expression est constituée de séquences de symboles et/ou de séquences séparées par '|', indiquant un choix , le tout étant une substitution possible au symbole de gauche.

<personal-name> ::= <name> | <initial>

Opérateur de simultanéité

Dans les calculs des processus communicants (comme le pi-calcul ), la barre verticale est utilisée pour indiquer que les processus s'exécutent en parallèle.

APL

Le tuyau dans APL est la fonction modulo ou résidu entre deux opérandes et la fonction valeur absolue à côté d'un opérande.

Compréhensions de liste

La barre verticale est utilisée pour les compréhensions de liste dans certains langages fonctionnels, par exemple Haskell et Erlang . Comparez la notation du constructeur d'ensembles .

Balisage de texte

La barre verticale est utilisé comme un caractère spécial dans les langages de balisage légers , notamment MediaWiki de Wikitext (dans les modèles et les liens internes).

En mode texte LaTeX, la barre verticale produit un tiret cadratin (—). La \textbarcommande peut être utilisée pour produire une barre verticale.

Phonétique et orthographe

Dans les langues Khoisan et l' Alphabet Phonétique International , la barre verticale est utilisée pour écrire le clic dentaire ( ǀ ). Une double barre verticale est utilisée pour écrire le clic latéral alvéolaire ( ǁ ). Comme il s'agit techniquement de lettres, elles ont leurs propres points de code Unicode dans la plage Latin Extended-B : U+01C0 pour la barre simple et U+01C1 pour la double barre.

Certaines langues du Nord- Ouest et du Nord - Est du Caucase écrites en alphabet cyrillique ont une barre verticale appelée palochka (russe : палочка , lit. « petit bâton »), indiquant que la consonne précédente est un éjectif .

Des barres verticales simples et doubles plus longues sont utilisées pour marquer les limites prosodiques dans l'IPA.

Littérature

Ponctuation

Dans les manuscrits européens médiévaux, une seule barre verticale était une variante courante de la virgula/ ⟩ utilisée comme point , virgule de rayure et marque de césure .

En sanskrit et dans d'autres langues indiennes , une seule marque verticale, un danda , a une fonction similaire à celle d'un point (point). Deux barres || (un 'double danda') est l'équivalent d'un oreiller pour marquer la fin d'une strophe , d'un paragraphe ou d'une section. Le danda a son propre point de code Unicode, U+0964.

Poésie

Une double barre verticale ⟨||⟩ ou ⟨ǁ⟩ est la marque de césure standard dans la critique et l'analyse littéraires anglaises . Il marque la forte rupture ou césure commune à de nombreuses formes de poésie , en particulier les vers en vieil anglais .

Notation

Dans la Bible de Genève et les premières impressions de la version King James , une double barre verticale est utilisée pour marquer les notes de marge qui contiennent une traduction alternative du texte original. Ces notes en marge commencent toujours par la conjonction "Ou". Dans les tirages ultérieurs de la version King James, la double barre verticale est irrégulièrement utilisée pour marquer tout commentaire dans les marges.

Partition musicale

En musique, lors de l'écriture des partitions d'accords, des barres verticales simples associées à deux points (|: A / / / :|) représentent le début et la fin d'une section (par exemple Intro, Interlude, Verse, Chorus) de la musique. Des barres simples peuvent également représenter le début et la fin des mesures (|: A / / / | D / / / | E / / / :|). Une double barre verticale associée à un deux-points peut représenter la reprise d'une section donnée (||: A / / / :|| - jouer deux fois).

Codage

Barre verticale solide vs barre cassée

Le point de code 124 (7C hexadécimal ) est occupé par une barre brisée dans une imprimante matricielle de la fin des années 1980, à laquelle il manque apparemment une barre verticale pleine. Voir l' image complète .

De nombreux terminaux vidéo et au début des imprimantes matricielles ont rendu le caractère barre verticale comme allogreffe bar cassé | . Il s'agissait peut-être de distinguer le caractère du « L » minuscule et du « I » majuscule sur ces appareils à résolution limitée, et de faire en sorte qu'une ligne verticale d'entre eux ressemble davantage à une ligne horizontale de tirets. Il faisait aussi (brièvement) partie de la norme ASCII .

Un projet initial pour un jeu de caractères 7 bits qui a été publié par le sous-comité X3.2 pour les jeux de caractères codés et le format de données le 8 juin 1961, a été le premier à inclure la barre verticale dans un jeu standard. La barre était destinée à être utilisée comme représentation du symbole OU logique . Un projet ultérieur du 12 mai 1966, place la barre verticale dans la colonne 7 à côté des points de code d'entrée régionaux, et a constitué la base du projet de proposition original utilisé par l' Organisation internationale de normalisation . Ce projet a reçu l'opposition d'un groupe d'utilisateurs d' IBM connu sous le nom de SHARE, avec son président, HW Nelson, écrivant une lettre à l' American Standards Association intitulée "Le code standard américain révisé proposé pour l'échange d'informations ne répond PAS aux besoins des programmeurs informatiques !"; dans cette lettre, il soutient qu'aucun caractère du sous-ensemble international désigné dans les colonnes 2 à 5 du jeu de caractères ne pourrait représenter de manière adéquate le OU logique et le NON logique dans des langages tels que le PL/I d' IBM universellement sur toutes les plateformes. En guise de compromis, une exigence a été introduite où le point d'exclamation (!) et circonflexe (^) s'afficheraient respectivement comme OU logique (|) et NON logique (¬) dans des cas d'utilisation tels que la programmation, tandis qu'en dehors de ces cas d'utilisation, ils seraient représentent leurs symboles typographiques d'origine :

Il peut être souhaitable d'employer un style distinctif pour faciliter leur utilisation à des fins spécifiques comme, par exemple, pour styliser les graphiques dans les positions de code 2/1 et 5/14 à ceux fréquemment associés au OU logique (|) et au NON logique (¬) respectivement.

—  X3.2 document X3.2/475

La barre verticale d'origine codée à 0x7C dans le brouillon original du 12 mai 1966 a ensuite été brisée en ¦ , de sorte qu'elle ne pouvait pas être confondue avec le OU logique ininterrompu. Dans la révision de 1967 de l'ASCII, ainsi que le code ISO 464 équivalent publié la même année, le point de code a été défini comme une barre verticale brisée, et le point d'exclamation a été autorisé à être rendu sous la forme d'une barre verticale pleine. Cependant, la révision de 1977 (ANSI X.3-1977) a annulé les modifications apportées à la révision de 1967, imposant que le circonflexe ne pouvait plus être stylisé comme un symbole logique NON, le point d'exclamation ne permettant également plus la stylisation comme une barre verticale, et définir le point de code initialement défini sur la barre brisée en tant que barre verticale pleine à la place ; les mêmes changements ont également été annulés dans l'ISO 646-1973 publiée quatre ans auparavant.

Certaines variantes d' EBCDIC incluaient les deux versions du caractère en tant que points de code différents. La large mise en œuvre de la série étendue ASCII ISO/IEC 8859 dans les années 1990 a également fait une distinction entre les deux formes. Cela a été conservé dans Unicode en tant que caractère séparé à U+00A6 BARRE CASSÉE (le terme "règle séparée" est parfois utilisé dans la documentation Unicode). Certaines polices dessinent les caractères de la même manière (les deux sont des barres verticales pleines, ou les deux sont des barres verticales brisées). La barre brisée ne semble pas avoir d'usages clairement identifiés et distincts de ceux de la barre verticale. Dans une utilisation non informatique - par exemple en mathématiques, en physique et en typographie générale - la barre brisée n'est pas un substitut acceptable à la barre verticale.

Le clavier international américain affiche une barre brisée sur le capuchon, même si la frappe Shift+cette touche produit la barre verticale solide.
Jeu de caractères complet de la page de code 437 d'IBM rendu en VGA, qui affiche le glyphe de la barre brisée pour le point de code 7C, malgré la révision de 1977 en ASCII

De nombreux claviers avec une disposition US ou US-International affichent la barre brisée sur un capuchon de touche même si le caractère de barre verticale solide est produit dans les systèmes d'exploitation modernes. Cela inclut de nombreux claviers QWERTZ allemands . Il s'agit d'un héritage de claviers fabriqués dans les années 1980 et 1990 pour les ordinateurs compatibles IBM PC dotés de la barre brisée, car ces ordinateurs utilisaient le jeu de caractères IBM Code page 437 basé sur ASCII, qui continuait à afficher le glyphe de la barre brisée à codepoint 7C sur les écrans de MDA (1981) à VGA (1987) malgré les modifications apportées à ASCII en 1977.

Le caractère de barre cassé peut être saisi (selon la configuration) comme AltGr+ `ou AltGr+ 6ou AltGr+ ⇧ Shift+ Right \sous Windows et Compose!^sous Linux. Il peut être inséré dans HTML comme&brvbar;

Dans certains dictionnaires, la barre brisée est utilisée pour marquer l'accent qui peut être primaire ou secondaire. C'est-à-dire que [¦ba] couvre les prononciations [ˈba] et [ˌba] .

Points de code Unicode

Ces glyphes sont codés en Unicode comme suit :

  • U+007C | LIGNE VERTICALE (HTML &#124;  · &verbar;, &vert;, &VerticalLine; ) (une seule ligne verticale)
  • U + 00A6 | BAR BROKEN (HTML &#166;  · &brvbar; ) (seule ligne brisée)
  • U+2016 LIGNE VERTICALE DOUBLE (HTML &#8214;  · &Verbar;, &Vert; ) (ligne verticale double () : utilisée par paire pour indiquer la norme )
  • U + FF5C | pleine largeur VERTICAL LINE (HTML &#65372;) ( forme pleine largeur )
  • U+2225 PARALLÈLE À (HTML &#8741;  · &DoubleVerticalBar;, &par;, &parallel;, &shortparallel;, &spar; )
  • U + 01C0 | LETTRE LATINE CLIQUEZ DENTAL (HTML &#448;)
  • U + 01C1 ǁ LETTRE LATINE CLIQUEZ LATERAL (HTML &#449;)
  • U + 2223 | CLIVAGES (HTML &#8739;  · &mid;, &shortmid;, &smid;, &VerticalBar; )
  • U + 2502 BOX DESSINS VERTICAL (HTML &#9474;  · &boxv; ) (et d'autres personnagesdessin deboîte dans la gamme U + 2500 à U + 257F)
  • U + 0964 . DEVANAGARI DANDA (HTML &#2404;)
  • U + 0965 . DEVANAGARI DOUBLE DANDA (HTML &#2405;)

Pages de codes et autres encodages historiques

Pages de codes, ASCII, ISO/IEC, EBCDIC, Shift-JIS, etc.       Barre verticale ('|') Barre cassée ('')
ASCII ,
CP437 , CP667 , CP720 , CP737 , CP790 , CP819 , CP852 , CP855 , CP860 , CP861 , CP862 , CP865 , CP866 , CP867 , CP869 , CP872 , CP895 , CP932 , CP991
124 (7C h ) rien
CP775 167 (A7h)
CP850 , CP857 , CP858 221 (DDh)
CP863 160 (A0h)
CP864 219 (DBh)
ISO/CEI 8859-1 , -7 , -8 , -9 , -13 ,
CP1250 , CP1251 , CP1252 , CP1253 , CP1254 , CP1255 , CP1256 , CP1257 , CP1258
166 (A6h)
ISO/CEI 8859-2 , -3 , -4 , -5 , -6 , -10 , -11 , -14 , -15 , -16 rien
EBCDIC CCSID 37 79 (4Fh) 106 (6Ah)
EBCDIC CCSID 500 187 (BBh)
JIS X 0208 , JIS X 0213 Men-ku-ten 1-01-35 (7 bits : 2143h ; Shift JIS : 8162h ; EUC : A1C3h)

Voir également

Remarques

Les références