From d6c87f87baf0a88926ddbc334ce61185a7bccdac Mon Sep 17 00:00:00 2001
From: Gregg Kellogg <gregg@greggkellogg.net>
Date: Fri, 21 Jul 2023 15:41:43 -0700
Subject: [PATCH] Specify IRIREF and quoted-triple wrappers more accurately.

---
 spec/index.html | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/spec/index.html b/spec/index.html
index dded90f..65267be 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -203,7 +203,8 @@ <h3>Quoted Triples</h3>
       <code><a href="#grammar-production-subject">subject</a></code>,
       <code><a href="#grammar-production-predicate">predicate</a></code>, and
       <code><a href="#grammar-production-object">object</a></code>
-      preceded by <code>&lt;&lt;</code> and followed by <code>&gt;&gt;</code>.
+      preceded by two concatenated <code>&lt;</code> characters, each having the code point <span class="codepoint">U+003C</span>, and
+      followed by two concatenated <code>&gt;</code> characters, each having the code point <span class="codepoint">U+003E</span>.
       Note that <a data-cite="RDF12-CONCEPTS#dfn-quoted-triple">quoted triples</a>
       may be nested.
      </p>
@@ -222,7 +223,9 @@ <h3>IRIs</h3>
 
     <p>
       As in N-Triples, <a data-cite="RDF12-CONCEPTS#dfn-iri">IRIs</a> may be written only as absolute IRIs.
-      IRIs are enclosed in '&lt;' and '&gt;' and may contain numeric escape sequences (described below).
+      IRIs are preceded by <code>&lt;</code> (code point <span class="codepoint">U+003C</span>) and
+      followed by <code>&gt;</code> (code point <span class="codepoint">U+003E</span>),
+      and may contain numeric escape sequences (described below).
       For example <code>&lt;http://example.org/#green-goblin&gt;</code>.
     </p>
   </section>