❘
From CS2800 wiki
The vertical bar is a general purpose separator. It is used in several places:
- set comprehensions means "such that" in the context of
- divides in the context of number theory means
- rules in inductively defined sets. is also used to separate definition
- conditional probability of given in the context of probability. refers to the
The LaTeX symbol \mid
gives a vertical bar with some space on either side.