竖线也叫作vertical line ，vertical slash 或者 upright slash ，用在数学上的符号，表示“例如”或者“为真”。这个符号通常与涉及逻辑和集合的语句在一起使用。
参考下列的语句：
存在x，使得x比4大，并且比5小。
对于所有的x，x比0小或者x比-1大都是成立的。（这里的或者在包含在其内的）
定义S，为所有小于3的x的集合。
使用竖线和其他的符号来表示逻辑和集合理论，有如下形式： x | x > 4 and x < 5 x | x < 0 or x > -1 S = {x | x < 3}
在语句中，通常也可以用冒号来代替竖线，例如上面的那些语句中。然而，当使用冒号的时候，必须主意确保不与比率符号相混淆。冒号还可以在比率中替代正斜线。这两个符号（冒号和竖线）都不可以在同一个表达式中，或者是在同一个文档中结合使用，如果两个都可用来替代“例如”或者“为真”。
还请参见数学符号。