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}
|
2018-08-08 14:01:55 +02:00
|
|
|
|
|
|
|
|
\newcommand{\tnhead}[2]{\multicolumn{1}{#1}{#2}} % Table neutral head
|
|
|
|
|
\newcommand{\spaced}[2]{\hspace{#1} #2 \hspace{#1}}
|
