Copy edits, thanks Joel.

michaelhkay · michaelhkay · commit 034ee3a3586a · 2026-02-10T12:57:26.000Z
diff --git a/specifications/xslt-40/src/xslt.xml b/specifications/xslt-40/src/xslt.xml
@@ -12664,8 +12664,7 @@ return $tree =?> depth()]]></eg>
                
             <div5 id="pattern-semantics">
                <head>The Meaning of a GNode Pattern</head>
-               <p>This section defines the formal meaning of a <nt def="GNodePattern">GNodePattern</nt>.
-                  In this section, “if” is to be read as “if and only if”.</p>
+               <p>This section defines the formal meaning of a <nt def="GNodePattern">GNodePattern</nt>.</p>
 
                
   
@@ -12788,7 +12787,7 @@ return $tree =?> depth()]]></eg>
                      equivalent expression, denoted below as <code>EE</code>.</p>
    
                   <p>Specifically, an item <var>N</var> matches a <nt def="GNodePattern">GNodePattern</nt>
-                      <var>P</var> if  the following applies, where
+                      <var>P</var> if and only if the following applies, where
                         <code>EE</code> is the <term>equivalent expression</term> to <var>P</var>:</p>
                   <ulist>
    
@@ -12820,7 +12819,7 @@ return $tree =?> depth()]]></eg>
                      <code>p</code> matches any <code>p</code> element. The equivalent expression,
                      after adjustment, is <code>child-or-top::element(p)</code>, and the pattern matches because a <code>p</code>
                      element will always be present in the result of evaluating the 
-                     eqivalent <termref def="dt-expression">expression</termref>
+                     equivalent <termref def="dt-expression">expression</termref>
                      <code>root(.)//(child-or-top::element(p))</code>.</p>
                   <p>Similarly, <code>/</code> matches a
                      document node, and only a document node. The equivalent expression, after adjustment,
