author | Christian Urban <urbanc@in.tum.de> |
Tue, 27 Nov 2018 00:45:26 +0000 | |
changeset 609 | e33545bb2eba |
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}}}} |