From 3ab1ca6360895e8ebc58af1f7e89365361be079d Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Tue, 1 Jun 2021 21:00:00 -0700 Subject: doc: put-json: numbering, include U+007F. * txr.1: Fix duplicate 4. bullet; mention the that control character U+007F is rendered as an escape also. --- txr.1 | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/txr.1 b/txr.1 index de1e1912..385e2cfb 100644 --- a/txr.1 +++ b/txr.1 @@ -72060,20 +72060,20 @@ tags. The code point U+DC00 (\*(TX's pseudo-null character) is translated into the .code "\eu0000" escape syntax. -.IP 4. +.IP 5. The code points U+DC01 through U+DCFF are send to the stream as-is. If the stream performs UTF-8 encoding, these characters turn into individual bytes in the range 0 to 255. -.IP 5. +.IP 6. Control characters in the U+0001 to U+001F other than the ones subject to rule 1 above are rendered as .code \eu -escape sequences. Likewise, code points in the range U+0080 to U+00BF, +escape sequences. Likewise, code points in the range U+007F to U+00BF, the range U+D800 to U+DBFF, U+DD00 to U+DFFF, and the code points U+FFFE and U+FFFF are also encoded as .code \eu escape sequences. -.IP 6. +.IP 7. A character outside of the BMP (Basic Multilingual Plane) in the range U+10000 to U+10FFFF is encoded using as a pair of consecutive .code \eu -- cgit v1.2.3