Vertical bar

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
|
Vertical bar
Punctuation
apostrophe  '
brackets [ ]  ( )  { }  ⟨ ⟩
colon :
comma ,  ،  
dash ‒  –  —  ―
ellipsis  ...  . . .      
exclamation mark !
full stop, period .
guillemets ‹ ›  « »
hyphen
hyphen-minus -
question mark ?
quotation marks ‘ ’  “ ”  ' '  " "
semicolon ;
slash, stroke, solidus /    
Word dividers
interpunct ·
space     
General typography
ampersand &
asterisk *
at sign @
backslash \
basis point
bullet
caret ^
dagger † ‡ ⹋
degree °
ditto mark ” 〃
double hyphen = ⸗
inverted exclamation mark ¡
inverted question mark ¿
komejirushi, kome, reference mark
multiplication sign ×
number sign, pound, hash #
numero sign
obelus ÷
ordinal indicator º ª
percent, per mil % ‰
pilcrow
plus, minus + −
plus-minus, minus-plus ± ∓
prime    
section sign §
tilde ~
underscore, understrike _
vertical bar, pipe, broken bar |    ¦
Intellectual property
copyright ©
copyleft 🄯
sound-recording copyright
registered trademark ®
service mark
trademark
Currency
currency sign ¤

؋฿¢$֏ƒ£元 圆 圓 ¥

Uncommon typography
asterism
fleuron, hedera
index, fist
interrobang
irony punctuation
lozenge
tie
Related
In other scripts

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, vertical line, vertical slash, bar, pike, or pipe, and several variants on these names. It is occasionally considered an allograph of broken bar (see below).

Usage[edit]

Mathematics[edit]

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

  • absolute value: , read "the absolute value of x"
  • cardinality: , read "the cardinality of the set S"
  • conditional probability: , reads "the probability of X given Y"
  • determinant: , read "the determinant of the matrix A". When the matrix entries are written out, the determinant is denoted by surrounding the matrix entries by vertical bars instead of the usual brackets or parentheses of the matrix, as in .
  • distance: , denoting the shortest distance between point to line , so line is perpendicular to line
  • divisibility: , read "a divides b" or "a is a factor of b", though Unicode also provides special 'divides' and 'does not divide' symbols (U+2223 and U+2224: ∣, ∤)
  • evaluation: , read "f of x, evaluated at x equals 4" (see subscripts at Wikibooks)
  • length: , read "the length of the string s"
  • norm: , read "the norm of the (greater-than-one-dimensional) vector " (note that absolute value is a one-dimensional norm), although a double vertical bar (see below) is more often used to avoid ambiguity.
  • order: , read "the order of the group G"
  • restriction: , denoting the restriction of the function , with a domain that is a superset of , to just
  • set-builder notation: , read "the set of x such that x is less than two". Often, a colon ':' is used instead of a vertical bar
  • the Sheffer stroke in logic: , read "a nand b"
  • subtraction: , read "f(x) from b to a", denoting . Used in the context of a definite integral with variable x.
  • A vertical bar can be used to separate variables from fixed parameters in a function, for example

The double vertical bar, , is also employed in mathematics.

  • parallelism: , read "the line is parallel to the line "
  • Norm: , read "the norm of the vector x". People sometimes use two single bars in analogy to the absolute value, which is a one-dimensional norm.
  • Propositional truncation (a type former that truncates a type down to a mere proposition in homotopy type theory): for any (read "term of type ") we have [1] (here reads "image of in " and reads "propositional truncation of ")[2]

Physics[edit]

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

  • : the quantum physical state
  • : the dual state corresponding to the state above
  • : the inner product of states and
  • supergroups in physics are denoted G(N|M), which reads "G, M vertical bar N"; here G denotes any supergroup, M denotes the bosonic dimensions, and N denotes the Grassmann dimensions[3]

Computing[edit]

Pipe[edit]

A pipe is an inter-process communication mechanism originating in Unix, which directs the output (standard out and, optionally, standard error) of one process to the 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[edit]

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[edit]

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

Delimiter[edit]

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[edit]

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[edit]

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

APL[edit]

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

List comprehensions[edit]

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

Phonetics and orthography[edit]

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.

Some Northwest and Northeast Caucasian languages written in the Cyrillic script have a vertical bar called palochka (Russian: палочка, "little stick"), indicating the preceding consonant is an ejective.

Longer single and double vertical bars are used to mark prosodic boundaries in the IPA.

Literature[edit]

Punctuation[edit]

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 were once written in stanzas. Two bars || represent the equivalent of a pilcrow.

Poetry[edit]

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[edit]

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[edit]

The vertical bar is encoded in ASCII and Unicode at U+007C | VERTICAL LINE (124decimal). In URL a vertical bar can be encoded by %7C.

Solid vertical bar vs broken bar[edit]

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).

Many early video terminals and dot-matrix printers rendered the vertical bar character as the allograph broken bar (¦). This may have been to distinguish the character from the lower-case 'L' and the upper-case 'I' on these limited-resolution devices. It may also have been designed so a vertical column drew a more attractive small-dash line, and to match the appearance of a horizontal line of dash characters (----).[citation needed]

Some variants of EBCDIC included both versions of the character as different code points. The broad implementation of the extended ASCII ISO/IEC 8859 series in the 1990s made a distinction between the two forms. This was preserved in Unicode as a separate character, U+00A6 ¦ BROKEN BAR (166decimal) (the term "parted rule" is used sometimes in Unicode documentation).

Many keyboards display the broken bar on a keycap even though the solid vertical bar character is produced. This includes older IBM PC keyboards, and many German QWERTZ keyboards. The UK keyboard layout is actually documented as producing the broken bar but produces the solid bar on most systems, including Microsoft Windows.

The broken bar character can be typed (depending on the layout) as AltGr+` or AltGr+6 or AltGr+⇧ Shift+Right \on Windows and Compose!^ on Linux. It can be inserted into HTML as &brvbar;

Many fonts draw the characters the same (both are solid vertical bars, or both are broken vertical bars).[6] The broken bar has hardly any practical application and does not appear to have any clearly identified uses distinct from the vertical bar.[7] In non-computing use — for example in mathematics, physics and general typography — the broken bar is not an acceptable substitute for the vertical bar.

In common character maps[edit]

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

Additional related Unicode characters:

  • Double vertical line ( ): U+2016 used in pairs to indicate norm
  • Fullwidth vertical line (|): U+FF5C
  • Parallel to ( ∥ ): U+2225
  • Latin letter dental click ( ǀ ): U+01C0
  • Latin letter lateral click ( ǁ ): U+01C1
  • Symbol 'divides' ( ∣ ): U+2223
  • Various Box-drawing characters such as the light vertical ( │ ) at U+2502

In text processing[edit]

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 (—). The \textbar command can be used to produce a vertical bar.

The vertical bar is also used as special character in other lightweight markup languages, notably MediaWiki's Wikitext.

See also[edit]

References[edit]

  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. ^ Jukka "Yucca" Korpela (2006-09-20). "Detailed descriptions of the characters". Retrieved 2012-02-23.
  8. ^ Broken bar is no longer a part of ASCII, since the early 1990s