Typeset good-looking set notation (e.g., {x|x \in Y}), as well as similar things such as Dirac bra-ket notation, conditional probabilities, etc. The package is at least inspired by braket.