diff --git a/index.html b/index.html
index 2e8926a..7012459 100644
--- a/index.html
+++ b/index.html
@@ -491,7 +491,9 @@ <h3>Types for MathML Attribute Values</h3>
         </dl>
         <dl>
           <dt><dfn>boolean</dfn></dt>
-          <dd>A string that is a case-insensitive match to <code>true</code> or
+          <dd>A string that is an
+            <a data-cite="INFRA#ascii-case-insensitive">ASCII case-insensitive</a>
+            match to <code>true</code> or
             <code>false</code>.
           </dd>
         </dl>
@@ -555,7 +557,8 @@ <h4>Attributes common to HTML and MathML elements</h4>
             The
             <dfn><code>dir</code></dfn>
             attribute, if present,
-            must be a case-insensitive match
+            must be an
+            <a data-cite="INFRA#ascii-case-insensitive">ASCII case-insensitive</a> match
             to <code>ltr</code> or <code>ltr</code>.
             It is mapped to the
             <a data-cite="CSS-WRITING-MODES-3#direction"><code>direction</code></a>
@@ -614,7 +617,9 @@ <h4>The <code>mathvariant</code> attribute</h4>
             The
             <dfn><code>mathvariant</code></dfn>
             attribute,
-            if present, must be a case-insensitive match to one of:
+            if present, must be an
+            <a data-cite="INFRA#ascii-case-insensitive">ASCII case-insensitive</a>
+            match to one of:
             <code>normal</code>,
             <code>bold</code>,
             <code>italic</code>,
@@ -738,7 +743,9 @@ <h3>The Top-Level <code>&lt;math&gt;</code> Element</h3>
           The
           <dfn><code>display</code></dfn>
           attribute, if present,
-          must be a case-insensitive match
+          must be an
+          <a data-cite="INFRA#ascii-case-insensitive">ASCII case-insensitive</a>
+          match
           to <code>block</code> or <code>inline</code>.
           To fully implement this attribute, additional CSS properties must be
           specified in the user agent stylesheet
@@ -1433,7 +1440,9 @@ <h4>Dictionary-based attributes</h4>
               <code>postfix</code>.
               The corresponding <code>form</code> attribute on the
               <a><code>&lt;mo&gt;</code></a> element, if present, must
-              must be a case-insensitive match to one of these values.
+              must be an
+              <a data-cite="INFRA#ascii-case-insensitive">ASCII case-insensitive</a>
+              match to one of these values.
             </p>
             <p>
               The <code>form</code> of an <a>embellished operator</a> is determined as follows:
@@ -2989,7 +2998,9 @@ <h4>Enclose Expression Inside Notation <code>&lt;menclose&gt;</code></h4>
             <dfn><code>notation</code></dfn>
             attribute, if present, must have a value that is a
             <a data-cite="HTML#set-of-space-separated-tokens">set of space-separated tokens</a>.
-            A token value that is a case-insensitive match to one of
+            A token value that is an
+            <a data-cite="INFRA#ascii-case-insensitive">ASCII case-insensitive</a>
+            match to one of
             <code>left</code>,
             <code>right</code>,
             <code>top</code>,
@@ -4591,8 +4602,9 @@ <h4>Displaystyle and scriptlevel in scripts</h4>
             However, when an overscript (respectively underscript)
             has an <a href="#attribute-munderover-accent" class="internalDFN" data-link-type="dfn"><code>accent</code></a>
             (respectively <a href="#attribute-munderover-accentunder" class="internalDFN" data-link-type="dfn"><code>accentunder</code></a>)
-            attribute that is case-insensitive match
-            to <code>"true"</code> then
+            attribute that is an
+            <a data-cite="INFRA#ascii-case-insensitive">ASCII case-insensitive</a>
+            match to <code>"true"</code> then
             the <a><code>scriptlevel</code></a> is not incremented.
           </p>
           <p>
@@ -4653,7 +4665,9 @@ <h4>Table or Matrix <code>&lt;mtable&gt;</code></h4>
               <li><a>frame</a></li>
             </ul>
           <p>
-            The <dfn>frame</dfn> attribute, if present, must be a case-insensitive match
+            The <dfn>frame</dfn> attribute, if present, must be an
+            <a data-cite="INFRA#ascii-case-insensitive">ASCII case-insensitive</a>
+            match
             to one of <code>none</code>, <code>solid</code> or
             <code>dashed</code>. The <a href="#user-agent-stylesheet">user agent
               stylesheet</a> must contain the following rules in order to implement