Unsupported titles/Vertical line

A vertical line.

| (English symbol name vertical bar or pipe)

1. (logic) Joins two statements of which not both are true (nand)—the Sheffer stroke.
2. (mathematics) Such that; having the property that.

   ${\displaystyle \lbrace x\in \mathbb {R} |x>0\rbrace }$

   • 2006, K. Chung et al., Bifurcation analysis of a two-degree-of-freedom aeroelastic system with freeplay structural nonlinearity by a perturbation-incremental method, Journal of Sound and Vibration.

     According to the three linear branches of the bilinear function for a freeplay model, the phase space ${\displaystyle X\in R^{8}}$ can be divided into three regions, ${\displaystyle R_{i}(i=1,2,3)}$ , where each corresponds to a linear system:

     ${\displaystyle X'=AX+F_{1}}$ in ${\displaystyle R_{1}=\{X\in R^{8}|x_{1}<\alpha _{f}\}}$

3. (mathematics, of an expression) Evaluated at.

   ${\displaystyle x+2|_{x=1}=3}$

4. (statistics) Conditional probability.

   ${\displaystyle P(X|Y)}$ ― the conditional probability of X given Y

5. A tally mark.

   The number 6 can be represented as ||||||.

   • 2005 May 16, Tony, “Re: what do you call the prisoners' counting numerals?”, in alt.usage.english, Usenet‎ (in English), message-ID <r6ih81lc4qe8upv3qlt86vpjtt5k4lqifi@4ax.com>:

     If I was counting screws, for example, and using the tally mark system, I'd lay out the list:

     Phillips head, 1/2"   |||

     Phillips head, 3/4"   ||

     Phillips head, 1"      ||||

6. (linguistics) Separates elements of a word.
   • 2012, István Tótfalusi, Sertések a Bakonyban: Kalandos nyelvtörténet (in Hungarian), Budapest: Libri Kiadó, →ISBN, page 75:

     Mármost a ragok és képzők többnyire kétalakúak, hogy a mély hangrendű szóhoz mélyet és magashoz magasat lehessen tenni. Ezért azt mondjuk, hogy kép | es | ség | ei | vel, illetve hogy ad | ós | ság | ai | val. Így nyilván mindenki ráismer erre a harmóniára.

     (please add an English translation of this quote)

7. (computing) Used as a pipe in Unix.
8. (regular expressions) Matches either the expression before or the expression after the operator.

   abc|def matches "abc" or "def".

9. See ∣ for the "divisor" or "divisibility" symbol.
10. See | | for single vertical lines enclosing other characters.
11. See ‖ for a single caesura ("double vertical line").
12. See ‖ ‖ for two caesuras enclosing other characters.

• (nand): ⊼
• (having the property that): :

• Sheffer stroke on Wikipedia.Wikipedia