Source TeX:

x \mid