diff options
Diffstat (limited to 'style/style.tex')
| -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}}}} |