author | Christian Urban <urbanc@in.tum.de> |
Mon, 14 Oct 2019 00:02:24 +0100 | |
changeset 655 | 3d04ee04966d |
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}}}} |