author | Christian Urban <urbanc@in.tum.de> |
Tue, 01 Oct 2019 00:29:48 +0100 | |
changeset 639 | 217e66d7aeff |
parent 582 | d236e75e1d55 |
permissions | -rw-r--r-- |
295
19f23c4c2167
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
\usepackage{listproc} |
19f23c4c2167
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
\usepackage{plstx} |
19f23c4c2167
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
|
582 | 4 |
\newcommand*{\meta}[1]{{\textbf{\textit{#1}}}} |