-\providecommand*{\sqty}[1]{ \left[{#1}\right] }
-
-% Create a set from the given elements
-\providecommand*{\set}[1]{\left\lbrace{#1}\right\rbrace}
-
-% A set comprehension, where the ``such that...'' bar is added
-% automatically. The bar was chosen over a colon to avoid ambiguity
-% with the L : V -> V notation. We can't leverage \set here because \middle
-% needs \left and \right present.
-\providecommand*{\setc}[2]{\left\lbrace{#1}\ \middle|\ {#2} \right\rbrace}