diff options
| author | mjkwiatkowski <mati.rewa@gmail.com> | 2026-07-16 01:27:14 +0200 |
|---|---|---|
| committer | mjkwiatkowski <mati.rewa@gmail.com> | 2026-07-16 01:27:14 +0200 |
| commit | aa32b75bd7a6248fad478bc634e8126ee9981db7 (patch) | |
| tree | eb7d9feed3c02e018d269b24a78ed041dbb9a01d /style | |
| parent | 7eb1c01020d6bca0aa6bb335df1f5655918e7e7b (diff) | |
Diffstat (limited to 'style')
| -rw-r--r-- | style/style.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/style/style.tex b/style/style.tex index 9bae9cf..1810a97 100644 --- a/style/style.tex +++ b/style/style.tex @@ -37,6 +37,8 @@ \newcommand{\etal}{\emph{et~al.}\xspace} \newcommand{\todo}[1]{\textcolor{blue}{#1}} \newcommand{\mysystem}{\emph{Sunfish}\xspace} +\newcommand{\tick}{\textcolor{Green}{\ding{51}}} +\newcommand{\cross}{\textcolor{Red}{\ding{55}}} \newcommand\myCircled[1]{\scalebox{0.75}{\Circled[fill color=black,inner color=white]{{\sffamily#1}}}} |