From f6d869885b4d496942b196848aae80cbae35b9e2 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Sat, 24 Jul 2021 11:35:15 +1000
Subject: [PATCH] Remove unused short hands

---
 assets/shorthands.tex | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/assets/shorthands.tex b/assets/shorthands.tex
index 58484af..b895a25 100644
--- a/assets/shorthands.tex
+++ b/assets/shorthands.tex
@@ -24,14 +24,12 @@
 \newcommand*{\minisearch}{\gls{minisearch}\xspace}
 \newcommand*{\minizinc}{\gls{minizinc}\xspace}
 \newcommand*{\cmodel}{\gls{model}\xspace}
-\newcommand*{\cmodels}[0]{\glspl{model}\xspace}
+\newcommand*{\cmodels}{\glspl{model}\xspace}
 \newcommand*{\nanozinc}{\gls{nanozinc}\xspace}
 \newcommand*{\prbpar}{\gls{prb-par}\xspace}
 \newcommand*{\prbpars}{\glspl{prb-par}\xspace}
 \newcommand*{\parameters}{\glspl{parameter}\xspace}
 \newcommand*{\parameter}{\gls{parameter}\xspace}
-\newcommand*{\reified}{\gls{reified}\xspace}
-\newcommand*{\halfreified}{\gls{half-reified}\xspace}
 \newcommand*{\solvers}{\glspl{solver}\xspace}
 \newcommand*{\solver}{\gls{solver}\xspace}
 \newcommand*{\Solvers}{\Glspl{solver}\xspace}
@@ -64,5 +62,3 @@
 \newcommand*{\ctxeval}[2]{\ensuremath{\mathbb{M}\left(#2\right)\left\|~#1~\right\|}}
 \newcommand*{\ctxfunc}[2]{\ensuremath{\mathbb{F}\left(#2\right)\left\|~#1~\right\|}}
 \newcommand*{\ctxitem}[1]{\ensuremath{\mathbb{m}\left\|~#1~\right\|}}
-
-\newcommand*{\undefined}{\ensuremath{\bot}}