\shortmid
The \shortmid command in LaTeX is used to represent a short vertical bar, often used in mathematical expressions to denote a relation or a conditional probability. It is typically used in set notation or to indicate divisibility.
Indicates that A is related to B in some context, such as divisibility or conditional probability.
A \shortmid B
Represents the probability of event A given event B, using the short vertical bar as a conditional separator.
P(A \shortmid B)
Denotes that x divides y in number theory, using the short vertical bar to indicate divisibility.
x \shortmid y