\( \def\set#1{\left\{#1\right\}} \def\setof#1#2{\left\{#1\,\middle|\,#2\right\}} \def\func#1#2#3{#1\,\colon\, #2\to #3} \)