2018-10-26 15:42:37 +02:00
|
|
|
%% Common, non-specific useful commands
|
|
|
|
|
|
|
|
|
|
\newcommand{\ie}{\textit{ie.}}
|
|
|
|
|
\newcommand{\eg}{\textit{eg.}}
|
|
|
|
|
\newcommand{\wrt}{\textit{wrt.}}
|
|
|
|
|
|
|
|
|
|
\newcommand{\set}[1]{\left\{ #1 \right\}}
|
|
|
|
|
\newcommand{\card}[1]{\left\vert{} #1 \right\vert}
|
|
|
|
|
\newcommand{\abs}[1]{\left\vert{} #1 \right\vert}
|
|
|
|
|
|
|
|
|
|
\newcommand{\tnhead}[2]{\multicolumn{1}{#1}{#2}} % Table neutral head
|
|
|
|
|
\newcommand{\spaced}[2]{\hspace{#1} #2 \hspace{#1}}
|
2018-11-05 16:19:19 +01:00
|
|
|
|
|
|
|
|
\makeatletter
|
|
|
|
|
\newcommand{\rowonly}{%
|
|
|
|
|
\noalign{\ifnum0=`}\fi
|
|
|
|
|
\@rowonly
|
|
|
|
|
}
|
|
|
|
|
\newcommand<>{\@rowonly}[1]{%
|
|
|
|
|
\only#2%
|
|
|
|
|
{\ifnum0=`{\fi}#1{\ifnum0=`}\fi}%
|
|
|
|
|
\ifnum0=`{\fi}%
|
|
|
|
|
\ignorespaces
|
|
|
|
|
}
|
