TeXipedia

shortmid

Represents a shortened vertical bar symbol used for mathematical relations and set notation.

Overview

Provides a more compact alternative to the standard vertical bar, particularly useful in mathematical expressions where space considerations are important.

  • Commonly used in formal logic and set theory for concise notation
  • Appears in expressions involving conditional probability and set membership
  • Often preferred when multiple relation symbols need to be displayed in tight spaces
  • Particularly valuable in complex mathematical formulas where standard-length symbols might create excessive vertical spacing

Examples

Expressing a short vertical bar relation between two variables.

a∣ba \shortmid b 
a \shortmid b

Using short vertical bar in a probability notation.

P(X∣Y=y)P(X \shortmid Y = y) 
P(X \shortmid Y = y)

Showing multiple relations with short vertical bars in a mathematical expression.

a∣b∣c∣da \shortmid b \shortmid c \shortmid d 
a \shortmid b \shortmid c \shortmid d