Vertical bar

The vertical bar (|) is a character with various uses in mathematics, where it can be used to represent absolute value, among others; in computing and programming and in general typography, as a divider not unlike the interpunct. It may be called by various other names including the pipe (by the Unix community, referring to the I/O pipeline construct), Sheffer stroke (by computer or mathematic logicians), verti-bar, vbar, stick, vertical line, vertical slash, or bar, think colon, poley, divider line, or polon.

Usage

Mathematics

The vertical bar is used as a mathematical symbol in

absolute value: $|x|$ , read "the absolute value of x".
norms: $\|(x_{1},x_{2})\|$ , read "the norm of x sub one, x sub two"; though Unicode also provides a special double vertical line symbol U+2016: ‖x‖
Parallelism in geometry, where $AB\parallel CD$ indicates that the line $AB$ is parallel to the line $CD$ .
set-builder notation: $\{x|x<2\}$ , read "the set of x such that x is less than two". Often a colon ':' is used instead of a vertical bar.
cardinality: $|S|$ , read "the cardinality of the set S".
conditional probability: $P(X|Y)$ , read "the probability of X given Y".
divisibility: $a|b$ , read "a divides b", though Unicode also provides special ‘divides’ and ‘does not divide’ symbols (U+2223 and U+2224: ∣, ∤)
the Sheffer stroke in logic: $a|b$ , read "a nand b".
evaluate: $a+3|a=4$ , read "a plus 3 evaluated for when a equals 4", or $4+3=7$ .
distance: distance $p|ab$ notes the shortest distance between dot $p$ to line $ab$ , so $p|ab$ is perpendicular to line $ab$ .
evaluate (subscript notation): $f(x)|_{x=4}$ , read "f of x evaluated at x equals 4" (see subscripts at Wikibooks)
restriction: $f|_{A}:A\to F$ denotes a restriction of function $f$ where it is defined over a domain which is a superset of $A$ .
Sometimes a vertical bar following a function, with sub- and super-script limits 'a' and 'b' is used when evaluating definite integrals to mean 'f(x) from a to b', or 'f(b)-f(a)'.

Physics

The vertical bar is used in bra-ket notation in quantum physics. Examples:

$|\psi \rangle$ — The quantum mechanical state " $\psi$ ".
$\langle \psi |$ — The dual state corresponding to the state above.
$\langle \psi |\rho \rangle$ — The inner product of states $\psi$ and $\rho$ .

Computing

Pipe

A pipe is an inter-process communication mechanism originating in Unix which allows the output (standard out and, optionally, standard error) of one process to be used as input (standard in) to another. In this way, a series of commands can be "piped" together, giving users the ability to quickly perform complex multi-stage processing from the command line or as part of a Unix shell script ("batch file"). In most Unix shells (command interpreters), this is represented by the vertical bar character. For example:

egrep -i 'blair' filename.log | more

where the output from the "egrep" process is piped to the "more" process.

The same "pipe" feature is also found in later versions of DOS and Microsoft Windows.

Disjunction

In many programming languages, the vertical bar is used to designate the logic operation or, either bitwise or or logical or.

Specifically, in C and other languages following C syntax conventions, such as C++, Perl, Java and C#, (a | b) denotes a bitwise or; whilst a double vertical bar (a || b) denotes a (short-circuited) logical or.

In regular expression syntax, the vertical bar again indicates logical or. For example: the Unix command grep -E 'foo|bar' matches lines containing 'foo' or 'bar'.

Concatenation

In PL/I and certain dialects of SQL, the operator "||" denotes string concatenation.

Delimiter

Although not as common as commas or tabs, the vertical bar can be used as a delimiter in a flat file. An example of a pipe-delimited standard data format is LEDES 1998B. It is frequently used because vertical bar is typically uncommon in the data itself.

Similarly, the vertical bar may see use as a delimiter for regular expression operations (e.g. in sed). This is useful when the regular expression contains instances of the more common forward slash (/) delimiter; using a vertical bar eliminates the need to escape all instances of the forward slash.

Backus-Naur form

In Backus-Naur form, an expression consists of sequences of symbols and/or sequences separated by '|', indicating a choice, the whole being a possible substitution for the symbol on the left.

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

Concurrency operator

In calculi of communicating processes (like pi-calculus), the vertical bar is used to indicate that processes execute in parallel.

List comprehensions

The vertical bar is used for list comprehensions in some functional languages, e. g. Haskell and Erlang. Compare set-builder notation.

Phonetics and orthography

In the Khoisan languages and the International Phonetic Alphabet, the vertical bar is used to write the dental click (ǀ). A double vertical bar is used to write the alveolar lateral click (ǁ). Since these are technically letters, they have their own Unicode code points in the Latin Extended-B range: U+01C0 for the single bar and U+01C1 for the double bar. Longer single and double vertical bars are used to mark prosodic boundaries in the IPA.

Encoding

The vertical bar ("|") is at position 124 (decimal) in the ASCII character set.

Solid vertical bar vs broken bar

The broken bar (¦) in computing was historically an allograph of the vertical bar and was perceived so before a broad implementation of extended ASCII character sets (namely, ISO/IEC 8859 series), which did distinguish both. Since 1990s, it is considered a separate character, not a part of ASCII, and also termed "parted rule" in Unicode documentation. But in the text mode fonts, as well as in other TUI applications on DOS, Windows and Unix-like systems, the glyph used for the vertical bar may look exactly like a broken bar. This is no longer the case on Windows 7.^[1]

Due to historical confusion between the two, computer keyboards and displays may not clearly or consistently differentiate them. The typical keyboard layout used in the United Kingdom features separate keys for vertical bar and broken bar; however, typically on Windows PCs the vertical bar key produces a broken-bar symbol. Some keyboard drivers map the broken bar key to the vertical bar, and the vertical bar key, shared with the grave accent (`), generates the broken bar when pressed in combination with AltGr.

The broken bar has hardly any practical application and does not appear to have any clearly identified uses distinct from the vertical bar.^[2] In non-computing use — for example in mathematics, physics and general typography — the broken bar is not an acceptable substitute for the vertical bar. Aforementioned usages in computing rely on the abstract character with code point 124 (0x7C) in ASCII (or ASCII compatible code page) and do not depend on visual rendering, which actually may be a broken bar in some environments.

Some variants of the EBCDIC family of code pages such as EBCDIC 500 had distinguish broken bar from a solid vertical bar.^{[citation needed]}

In common character maps

	Vertical bar ('\|')	Broken bar ('¦')
ASCII *	decimal (base-10): 124 hexadecimal (base-16): 7C
ISO/IEC 8859-1	hexadecimal: 7C	hexadecimal: A6
Unicode	U+007C	U+00A6
EBCDIC (CCSID 500 variant)	hexadecimal: BB	hexadecimal: A6
Shift-JIS Men-Ku-Ten	1-01-35
* Broken bar is not considered a part of ASCII since early 1990s

Additional related Unicode characters:

Double vertical line ('‖'): U+2016
Latin letter dental click (⟨ǀ⟩): U+01C0
Latin letter lateral click (⟨ǁ⟩): U+01C1
Symbol 'divides' (⟨∣⟩): U+2223
Various Box-drawing characters at U+2500 to U+257F

In text processing

In LaTeX, the vertical bar can be used as delimiter in mathematical mode. The sequence \| creates a double vertical line (a | b \| c is set as $a|b\|c$ ). In LaTeX text mode, the vertical bar produces an em dash (—), or you can use the \textbar command instead.

The vertical bar is also used as special character in other Lightweight markup languages, notably Wikipedia's own Wikitext.

References

^ Jim Price (2010-05-24). "ASCII Chart: IBM PC Extended ASCII Display Characters". Retrieved 2012-02-23.
^ Jukka "Yucca" Korpela (2006-09-20). "Detailed descriptions of the characters". Retrieved 2012-02-23.

[1] Jim Price (2010-05-24). "ASCII Chart: IBM PC Extended ASCII Display Characters". Retrieved 2012-02-23.

[2] Jukka "Yucca" Korpela (2006-09-20). "Detailed descriptions of the characters". Retrieved 2012-02-23.

[1]

[2]