vertical line (vertical slash or upright slash)
The vertical line, also called the vertical slash or upright slash ( | ), is used in mathematical notation in place of the expression "such that" or "it is true that." This symbol is commonly encountered in statements involving logic and sets.
Also see Mathematical Symbols.