I am little bit confused about the sign " | ". Some people call it the division sign and some call it "such that". In computer programming, it's known as pipe.
| => Such that sign
| => Division sign
| => Pipe sign
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityI am little bit confused about the sign " | ". Some people call it the division sign and some call it "such that". In computer programming, it's known as pipe.
| => Such that sign
| => Division sign
| => Pipe sign
The sign $|$ has a few uses in mathematics
$$\text{Sets }\{x\in\mathbb N\mid\exists y\in\mathbb N:2y=x\}$$
Here it the sign means "such that", the colon also means "such that" in this context
Note that in this case it is written \mid
in LaTeX, and not with the symbol |
.
$$a\mid b$$
In this case the $\mid$ sign means that $a$ divides $b$, or that $\frac ba$ is an integer
Note that in this case it is written \mid
in LaTeX, and not with the symbol |
.
$$|x|$$
Here it means the absolute value of $x$, ie. $|x|=\left\{\begin{array}{ll}x\quad&\text{if }x\ge0\\-x&\text{if }x<0\end{array}\right.$
In this case it is written with just the |
symbol. Note that sometimes you need to put {}
around the contents to get the correct spacing, ie.
|-2|
gives $|-2|$|{-2}|
gives $|{-2}|$$ ls -l | grep "Aug"
This use is from the unix terminal where it means that the output of the ls -l
command is redirected to the command grep "Aug"
, which shows all files last edited in august.
Note that this last one isn't really mathematics but I included it as you mentioned it.
In number theory the sign $\mid$ denotes divisibility. But you need to carefully note that this is definitely not the same as division.
It is very important to note (especially if English is not your first language) that "$a$ divides $b$" is very different from "$a$ divided by $b$". Other ways of saying "$a$ divides $b$" are "$a$ is a factor of $b$" and "$b$ is a multiple of $a$".
Hope this helps!
\mid
or\vert
, etc. See this Q at TeX.SE for details of what differences there are. The vertical stroke is also used as a delimiter in absolute values and (doubled) in norms. $\endgroup$ – hardmath Nov 27 '14 at 17:28