Vertical bar

|
Vertical bar

The vertical bar ( | ) is a computer character and glyph with various uses in mathematics, computing, and typography. It has many names, often related to particular meanings: Sheffer stroke (in logic), verti-bar, vbar, stick, broken bar, vertical line, vertical slash, bar, glidus, obelisk, or pipe.

Usage

Mathematics

The vertical bar is used as a mathematical symbol in numerous ways:

The double vertical bar, U+2016 double vertical line is also employed in mathematics.

Physics

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

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 ("bash file"). In most Unix shells (command interpreters), this is represented by the vertical bar character. For example:

grep -i 'blair' filename.log | more

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

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

This usage has led to the character itself being called "pipe".

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; whereas a double vertical bar a || b denotes a (short-circuited) logical or. Since the character was originally not available in all code pages and keyboard layouts, ANSI C can transcribe it in form of the trigraph ??!, which, outside string literals, is equivalent to the | character.

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

Concatenation

The double vertical bar operator "||" denotes string concatenation in PL/I, standard ANSI SQL, and theoretical computer science (particularly cryptography).

Delimiter

Although not as common as commas or tabs, the vertical bar can be used as a delimiter in a flat file. Examples of a pipe-delimited standard data format are LEDES 1998B and HL7. It is frequently used because vertical bars are 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. However, this makes the bar unusable as the regular expression "alternative" operator.

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.

APL

The pipe in APL is the modulo or residue function between two operands and the absolute value function next to one operand.

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.

Literature

Punctuation

In medieval European manuscripts, a single vertical bar was a common variant of the virgula / used as a period, scratch comma,[4] and caesura mark.[5]

In Sanskrit and other Indian languages, text blocks used to be written in stanzas. Two bars || represent the equivalent of a pilcrow.

Poetry

A double vertical bar || or is the standard caesura mark in English literary criticism and analysis. It marks the strong break or caesura common to many forms of poetry, particularly Old English verse.

Notation

In the Geneva Bible and early printings of the King James Version, a double vertical bar is used to mark margin notes that contain an alternative translation from the original text. These margin notes always begin with the conjunction "Or". In later printings of the King James Version, the double vertical bar is irregularly used to mark any comment in the margins.

Encoding

The vertical bar is encoded in Unicode at U+007C | Vertical line (124decimal · HTML &#124;).

Solid vertical bar vs broken bar

The code point 124 (7C hexadecimal) is occupied by a broken bar in a dot matrix printer of the late 1980s, which apparently lacks a solid vertical bar. Due to this, broken bar is also used for vertical line approximation. See the full picture (3,000 × 2,500 pixels).

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 the 1990s, it is considered a separate character, not a part of ASCII, and also termed "parted rule" in Unicode documentation. But in many fonts, the glyph used for the vertical bar looks exactly like a broken bar.[6]

The broken bar is encoded in Unicode at U+00A6 ¦ Broken Bar (166decimal · HTML &#166; · &brvbar;).

Due to historical confusion between the two, computer keyboards and displays may not clearly or consistently differentiate them:

The broken bar has hardly any practical application and does not appear to have any clearly identified uses distinct from the vertical bar.[9] 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 distinguished the broken bar from the solid vertical bar.

In common character maps

Vertical bar ('|') Broken bar ('¦')
ASCII,
CP437, CP667, CP720, CP737, CP790, CP819, CP852, CP855, CP860, CP861, CP862, CP865, CP866, CP867, CP869, CP872, CP895, CP932, CP991
124 (7Ch) N/A[10]
CP775 124 (7Ch) 167 (A7h)
CP850, CP857, CP858 124 (7Ch) 221 (DDh)
CP863 124 (7Ch) 160 (A0h)
CP864 124 (7Ch) 219 (DBh)
ISO/IEC 8859-1, -7, -8, -9, -13,
CP1250, CP1251, CP1252, CP1253, CP1254, CP1255, CP1256, CP1257, CP1258
124 (7Ch) 166 (A6h)
ISO/IEC 8859-2, -3, -4, -5, -6, -10, -11, -14, -15, -16 124 (7Ch) N/A
Unicode U+007C U+00A6
EBCDIC (CCSID 500 variant) 187 (BBh) 166 (A6h)
Shift-JIS Men-Ku-Ten 1-01-35
HTML &#124; &brvbar; or &#166;

Additional related Unicode characters:

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 ). This has different spacing from \mid and \parallel, which are relational operators: a \mid b \parallel c is set as . In LaTeX text mode, the vertical bar produces an em dash (—), or one 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.

See also

References

  1. Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics (GitHub version) (PDF). Institute for Advanced Study. p. 108.
  2. Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics (print version). Institute for Advanced Study. p. 450.
  3. Larus Thorlacius, Thordur Jonsson (eds.), M-Theory and Quantum Geometry, Springer, 2012, p. 263.
  4. "virgula, n.", Oxford English Dictionary, 1st ed., Oxford: Oxford University Press, 1917.
  5. "virgule, n.", Oxford English Dictionary, 1st ed., Oxford: Oxford University Press, 1917.
  6. Jim Price (2010-05-24). "ASCII Chart: IBM PC Extended ASCII Display Characters". Retrieved 2012-02-23.
  7. "Is Your Pipe Wrong?". 2008-12-08. Retrieved 2015-12-01.
  8. "Two guys walked into a bar, but the bar was broken". 2006-02-24. Retrieved 2015-12-01.
  9. Jukka "Yucca" Korpela (2006-09-20). "Detailed descriptions of the characters". Retrieved 2012-02-23.
  10. Broken bar is no longer considered a part of ASCII since early 1990s
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.