Provides macros to typeset bra-ket notation, as well as set specifiers. Each macro comes in a fixed-size version and an expanding version. The author is Donald Arseneau.