From e27b24fb594185bcfed9a3744614bb9861829fe9 Mon Sep 17 00:00:00 2001
From: aathan <aathan_github@memeplex.com>
Date: Wed, 1 Jun 2022 08:51:44 -0700
Subject: [PATCH] Disambiguate latter class

Since uninterpreted starts with u and uN is the last class in the block, explicitly stating iN is more clear.
---
 document/core/syntax/values.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/document/core/syntax/values.rst b/document/core/syntax/values.rst
index c4e7f89c31..564ddc2d66 100644
--- a/document/core/syntax/values.rst
+++ b/document/core/syntax/values.rst
@@ -61,7 +61,7 @@ Different classes of *integers* with different value ranges are distinguished by
      \uN \\
    \end{array}
 
-The latter class defines *uninterpreted* integers, whose signedness interpretation can vary depending on context.
+The class |iN| defines *uninterpreted* integers, whose signedness interpretation can vary depending on context.
 In the abstract syntax, they are represented as unsigned values.
 However, some operations :ref:`convert <aux-signed>` them to signed based on a two's complement interpretation.