more <(LF|CR|LS|PS)>

tc39 · May 16, 2024 · 8af0bfd · 8af0bfd
1 parent e1c3634
commit 8af0bfd
Showing 1 changed file with 13 additions and 13 deletions.
diff --git a/spec.html b/spec.html
@@ -16915,15 +16915,15 @@ <h2>Syntax</h2>
 
         DoubleStringCharacter ::
           SourceCharacter but not one of `"` or `\` or LineTerminator
-          &lt;LS&gt;
-          &lt;PS&gt;
+          &lt;U+2028 (LINE SEPARATOR)&gt;
+          &lt;U+2029 (PARAGRAPH SEPARATOR)&gt;
           `\` EscapeSequence
           LineContinuation
 
         SingleStringCharacter ::
           SourceCharacter but not one of `'` or `\` or LineTerminator
-          &lt;LS&gt;
-          &lt;PS&gt;
+          &lt;U+2028 (LINE SEPARATOR)&gt;
+          &lt;U+2029 (PARAGRAPH SEPARATOR)&gt;
           `\` EscapeSequence
           LineContinuation
 
@@ -17032,10 +17032,10 @@ <h1>Static Semantics: SV ( ): a String</h1>
             The SV of <emu-grammar>DoubleStringCharacter :: SourceCharacter but not one of `"` or `\` or LineTerminator</emu-grammar> is the result of performing UTF16EncodeCodePoint on the code point matched by |SourceCharacter|.
           </li>
           <li>
-            The SV of <emu-grammar>DoubleStringCharacter :: &lt;LS&gt;</emu-grammar> is the String value consisting of the code unit 0x2028 (LINE SEPARATOR).
+            The SV of <emu-grammar>DoubleStringCharacter :: &lt;U+2028 (LINE SEPARATOR)&gt;</emu-grammar> is the String value consisting of the code unit 0x2028 (LINE SEPARATOR).
           </li>
           <li>
-            The SV of <emu-grammar>DoubleStringCharacter :: &lt;PS&gt;</emu-grammar> is the String value consisting of the code unit 0x2029 (PARAGRAPH SEPARATOR).
+            The SV of <emu-grammar>DoubleStringCharacter :: &lt;U+2029 (PARAGRAPH SEPARATOR)&gt;</emu-grammar> is the String value consisting of the code unit 0x2029 (PARAGRAPH SEPARATOR).
           </li>
           <li>
             The SV of <emu-grammar>DoubleStringCharacter :: LineContinuation</emu-grammar> is the empty String.
@@ -17044,10 +17044,10 @@ <h1>Static Semantics: SV ( ): a String</h1>
             The SV of <emu-grammar>SingleStringCharacter :: SourceCharacter but not one of `'` or `\` or LineTerminator</emu-grammar> is the result of performing UTF16EncodeCodePoint on the code point matched by |SourceCharacter|.
           </li>
           <li>
-            The SV of <emu-grammar>SingleStringCharacter :: &lt;LS&gt;</emu-grammar> is the String value consisting of the code unit 0x2028 (LINE SEPARATOR).
+            The SV of <emu-grammar>SingleStringCharacter :: &lt;U+2028 (LINE SEPARATOR)&gt;</emu-grammar> is the String value consisting of the code unit 0x2028 (LINE SEPARATOR).
           </li>
           <li>
-            The SV of <emu-grammar>SingleStringCharacter :: &lt;PS&gt;</emu-grammar> is the String value consisting of the code unit 0x2029 (PARAGRAPH SEPARATOR).
+            The SV of <emu-grammar>SingleStringCharacter :: &lt;U+2029 (PARAGRAPH SEPARATOR)&gt;</emu-grammar> is the String value consisting of the code unit 0x2029 (PARAGRAPH SEPARATOR).
           </li>
           <li>
             The SV of <emu-grammar>SingleStringCharacter :: LineContinuation</emu-grammar> is the empty String.
@@ -17497,19 +17497,19 @@ <h1>Static Semantics: TRV ( ): a String</h1>
             The TRV of <emu-grammar>LineContinuation :: `\` LineTerminatorSequence</emu-grammar> is the string-concatenation of the code unit 0x005C (REVERSE SOLIDUS) and the TRV of |LineTerminatorSequence|.
           </li>
           <li>
-            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;LF&gt;</emu-grammar> is the String value consisting of the code unit 0x000A (LINE FEED).
+            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;U+000A (LINE FEED)&gt;</emu-grammar> is the String value consisting of the code unit 0x000A (LINE FEED).
           </li>
           <li>
-            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;CR&gt;</emu-grammar> is the String value consisting of the code unit 0x000A (LINE FEED).
+            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;U+000D (CARRIAGE RETURN)&gt;</emu-grammar> is the String value consisting of the code unit 0x000A (LINE FEED).
           </li>
           <li>
-            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;LS&gt;</emu-grammar> is the String value consisting of the code unit 0x2028 (LINE SEPARATOR).
+            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;U+2028 (LINE SEPARATOR)&gt;</emu-grammar> is the String value consisting of the code unit 0x2028 (LINE SEPARATOR).
           </li>
           <li>
-            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;PS&gt;</emu-grammar> is the String value consisting of the code unit 0x2029 (PARAGRAPH SEPARATOR).
+            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;U+2029 (PARAGRAPH SEPARATOR)&gt;</emu-grammar> is the String value consisting of the code unit 0x2029 (PARAGRAPH SEPARATOR).
           </li>
           <li>
-            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;CR&gt; &lt;LF&gt;</emu-grammar> is the String value consisting of the code unit 0x000A (LINE FEED).
+            The TRV of <emu-grammar>LineTerminatorSequence :: &lt;U+000D (CARRIAGE RETURN)&gt; &lt;U+000A (LINE FEED)&gt;</emu-grammar> is the String value consisting of the code unit 0x000A (LINE FEED).
           </li>
         </ul>
         <emu-note>