2018-07-31 12:27:12 +02:00
|
|
|
%% Common, non-specific useful commands
|
|
|
|
|
|
|
|
|
|
\newcommand{\ie}{\textit{ie.}}
|
|
|
|
|
\newcommand{\eg}{\textit{eg.}}
|
2018-08-02 02:20:01 +02:00
|
|
|
\newcommand{\wrt}{\textit{wrt.}}
|
2018-07-31 12:27:12 +02:00
|
|
|
|
|
|
|
|
\newcommand{\set}[1]{\left\{ #1 \right\}}
|
|
|
|
|
\newcommand{\card}[1]{\left\vert{} #1 \right\vert}
|
|
|
|
|
\newcommand{\abs}[1]{\left\vert{} #1 \right\vert}
|
