From 32f7df336521fa20ca6066b0db97b6c2bc4302f1 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com>
Date: Thu, 25 Aug 2022 12:35:23 -0700
Subject: [PATCH] Operator's `index` has 12-bit precision (#63)

---
 ltx/exprs.tex | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/ltx/exprs.tex b/ltx/exprs.tex
index ae7a0b8..af0827a 100644
--- a/ltx/exprs.tex
+++ b/ltx/exprs.tex
@@ -1746,7 +1746,7 @@ \subsection{Niladic operators}
 A sort value \valueTag{OperatorSort::Niladic} indicates a niladic operator -- 
 an operator accepting no argument.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{NiladicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{NiladicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{NiladicOperator}
 	\enumerator{Unknown}
@@ -1795,7 +1795,7 @@ \subsection{Monadic operators}
 A sort value \valueTag{OperatorSort::Monadic} indicates a monadic operator -- 
 an operator accepting one argument.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{MonadicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{MonadicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{MonadicOperator}
 	\enumerator{Unknown}
@@ -2092,7 +2092,7 @@ \subsection{Dyadic operators}
 A sort value \valueTag{OperatorSort::Dyadic} indicates a dyadic operator -- 
 an operator accepting two arguments.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{DyadicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{DyadicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{DyadicOperator}
 	\enumerator{Unknown}
@@ -2498,7 +2498,7 @@ \subsection{Triadic operators}
 A sort value \valueTag{OperatorSort::Triadic} indicates a triadic operator -- 
 an operator accepting three arguments.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{TriadicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{TriadicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{TriadicOperator}
 	\enumerator{Unknown}
@@ -2556,7 +2556,7 @@ \subsection{Storage operators}
 A sort value \valueTag{OperatorSort::Storage} indicates a storage 
 allocation or deallocation operator.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{StorageOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{StorageOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{StorageOperator}
 	\enumerator{Unknown}
@@ -2594,7 +2594,7 @@ \subsection{Variadic operators}
 A sort value \valueTag{OperatorSort::Variadic} indicates a variadic operator -- 
 an operator accepting any number of arguments.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{VariadicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{VariadicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{VariadicOperator}
 	\enumerator{Unknown}