author | Christian Urban <urbanc@in.tum.de> |
Sun, 17 Nov 2019 23:53:54 +0000 | |
changeset 693 | 605d971e98fd |
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}}}} |