1 files changed, 4 insertions, 4 deletions
diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index fb9190a16..1ac29b155 100644
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -257,13 +257,13 @@
 \newcommand{\forest}{\mbox{\textsf{forest}}}
 \newcommand{\from}{\mbox{\textsf{from}}}
 \newcommand{\hd}{\mbox{\textsf{hd}}}
-\newcommand{\Length}{\mbox{\textsf{Length}}}
+\newcommand{\haslength}{\mbox{\textsf{has\_length}}}
 \newcommand{\length}{\mbox{\textsf{length}}}
-\newcommand{\LengthA}{\mbox {\textsf{Length\_A}}}
+\newcommand{\haslengthA}{\mbox {\textsf{has\_length~A}}}
 \newcommand{\List}{\mbox{\textsf{list}}}
 \newcommand{\ListA}{\mbox{\textsf{List\_A}}}
-\newcommand{\LNil}{\mbox{\textsf{Lnil}}}
-\newcommand{\LCons}{\mbox{\textsf{Lcons}}}
+\newcommand{\nilhl}{\mbox{\textsf{nil\_hl}}}
+\newcommand{\conshl}{\mbox{\textsf{cons\_hl}}}
 \newcommand{\nat}{\mbox{\textsf{nat}}}
 \newcommand{\nO}{\mbox{\textsf{O}}}
 \newcommand{\nS}{\mbox{\textsf{S}}}