Barra verticale

La barra verticale , tubo o tubo è il nome del carattere ASCII 124, simboleggiato da una barra verticale | o una barra verticale spezzata al centro ¦ . In Unicode , la barra verticale si trova nel punto U + 007C, mentre la "barra spezzata" è un carattere separato, U + 00A6. In HTML , la barra non codificata può essere codificata ¦.

La barra verticale è un segno di punteggiatura anglosassone, che non è riconosciuto dalla maggior parte degli scrittori. Non compare né nell'elenco dei segni di punteggiatura nel Lessico delle regole tipografiche in uso all'Imprimerie Nationale né in quello di Bescherelle .

Etimologia

Il nome pipe (pronuncia inglese) per il carattere "| Deriva dall'uso comune dovuto al fatto che viene utilizzato nella shell Bourne per reindirizzare il flusso di output di un programma all'ingresso di un altro, come se fossero collegati da un tubo ( tubo che significa tubo in francese). Il word pipe ha quindi, adattato all'elaborazione dei dati, lo stesso significato di pipeline .

uso

Matematica

La barra verticale viene utilizzata nella tabella dei simboli matematici :

Valore assoluto : legge " il valore assoluto (o modulo ) di x "; $\, | x |$
Divisibilità : si legge " divide " o " è divisibile per " ${\ displaystyle b | a}$ $b$ $a$ $a$ $b$
Norma : legge " la norma di x pedice uno, x pedice due " $\, \ | (x_ {1}, x_ {2}) \ |$
Separatore in insiemi: legge " l'insieme di xs tale che x è minore di tre " (spesso la definizione è scritta con due punti ( :) invece che con una barra verticale). ${\ displaystyle \ {x \ mid x <3 \}}$
Effetto nella logica:

a | b: = \ neg (a \ wedge b)

, Vale a dire " no ( un e b )" o in inglese " un nand b ".

{\ displaystyle a || b = a + b}

, vale a dire " a o b " o in inglese " a o b ".

Puntatore del mouse

Nel testo che non può essere modificato ma è selezionabile, come una pagina web , il puntatore del mouse è spesso una barra verticale (a volte include serif in alto e in basso).

Linguaggio di markup Wiki

Nei siti che utilizzano il software MediaWiki ( Wikipedia ad esempio), la barra verticale viene utilizzata (tra le altre) nella sintassi wiki dei collegamenti interni per separare il collegamento dal testo visualizzato. Ad esempio, "[[articolo | testo]]" visualizza "testo" ma collega a "articolo". Questo simbolo viene utilizzato anche per scrivere tabelle e come separatore nella scrittura di modelli.

Forma di Backus-Naur

In questa forma, le espressioni sono costituite da sequenze di simboli e / o sequenze separate da caratteri "| », Indica un'alternativa , che può essere sostituita dal simbolo a sinistra. Per esempio,

UNIX

Una pipe è una funzionalità di alcuni sistemi operativi utilizzata in particolare in UNIX e che rende possibile reindirizzare l'output standard di un processo allo standard input di un altro. Negli interpreti dei comandi , la pipe è rappresentata da una barra verticale. Questa funzionalità si trova anche in DOS e Windows.

Espressioni regolari

Nelle espressioni regolari , la barra verticale indica l'alternativa (l'operatore di scelta). Ad esempio, grep "foo | bar" restituirà "foo" o "bar".

Angolare

Una pipe è solo una classe con una funzione che prenderà un oggetto / valore come parametro così come i parametri di trasformazione, per trasformarlo in un altro oggetto / valore. È anche possibile incatenare i tubi. Ad esempio, se vogliamo che la data sia in formato francese e in maiuscolo, useremo la pipe upperCase in questo modo: myDate | data: 'd MMM y' | maiuscolo

Angular offre molte pipe come standard per gestire date, valute, internazionalizzazione, maiuscole e minuscole, numeri

Conchiglia

Nelle shell UNIX la pipe viene utilizzata per indirizzare l'output di un comando (ad esempio dmesg) a un altro comando (ad esempio grep). per esempiodmesg | grep firewire reindirizzerà l'output di dmesg a grep che produrrà solo le righe contenenti la parola " firewire ".

Disgiunzione

In molti linguaggi di programmazione, questo si riferisce alla funzione logica OR , che sia o bit a bit o logica o .

Quindi, nel linguaggio di programmazione C e in altri linguaggi che utilizzano la sintassi C come Perl e Java , (a | b) significa o bit per bit , mentre la doppia barra verticale (a || b) significa o logico .

Concatenazione

In PL / I e SQL , l'operatore "||" denota la concatenazione di due stringhe .

Delimitazione

Sebbene meno comune di virgole o tabulazioni , il simbolo "| Può essere utilizzato in un file di testo che rappresenta dati tabulari, come il formato LEDES 1998B.

Lo stesso simbolo può essere utilizzato nei dialetti Lisp per delimitare l'inizio e la fine di simboli, nomi di variabili, ecc. che può contenere vari caratteri (anche non stampabili).

Ortografia khoisan

Nella famiglia linguistica Khoisan , il “| Viene utilizzato per trascrivere il clic .

Codifica dei caratteri

nome	glifo	Unicode	codePage 1252	MacRoman	Entità HTML
Barra verticale	\|	007C	7C	7C
Lettera latina clic dentale	ǀ	01C0
Punteggiatura ebraica paseq, pési, legarméh	׀	05C0
È un divisore di	∣	2223
Barra verticale sottile	❘	2758
Barra verticale discontinua, barra divisa, barra fori	¦	00A6	A6		¦
Barra	/	002F	2 F.	2 F.
Lettere latine clic	ǁ	01C1
Parallelo a	∥	2225
Doppia linea verticale	‖	2016
Punto esclamativo, fattoriale	!	0021	21	21

Catturare

In Windows e Linux , la barra verticale è disponibile con la combinazione Alt Gr + 6sul layout della tastiera azerty francese e Alt Gr + 1sulla tastiera azerty belga e sulla tastiera qwertz svizzera.

In bépo , è possibile utilizzare la combinazione Alt gr + B.

In Mac OS e OS X , si ottiene con Alt + Maj + L.

In LaTeX , distinguiamo l'uso per coppia di frame e l'uso dell'infisso (operazione):

coppia di frame: il comando \vertottiene una singola barra verticale ( ) e una doppia ( ). Questi comandi sono preceduti da e per adattare la dimensione dei caratteri al contenuto inquadrato. ${\ displaystyle \ green}$ \Vert $\Verde$ \left\right
infisso: il comando \midpermette di ottenere una singola barra verticale ( ), e permette di ottenere una doppia ( ). ${\ displaystyle \ mid}$ \parallel $\ parallel$

Note e riferimenti

Claude Demanuelli, Punti di riferimento: approccio interlinguistico alla punteggiatura franco-inglese, Volume 58 del Centro interdisciplinare di studi e ricerca sull'espressione contemporanea Saint-Etienne: Opere , Università di Saint-Etienne,1987, p. 110
National Printing Office, Lessico delle regole tipografiche in uso presso il National Printing Office ,2002, p. 149
Besherelle: La Grammaire , Paris, Hatier ,2006, p. 471

Impara Agular - I tubi