r7rs-small-texinfo

commit 5a5b69a07bffa48695c92b170f32b6e8128749a3
parent 965f5300eafee35244d37ad29f500057c61ec735
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date:   Tue,  6 Feb 2024 14:43:52 -0500

Formal syntax: More.

Diffstat:
M
doc/r7rs-small/formal-syntax.texinfo
 | 
30
++++++++++++++++++------------

1 file changed, 18 insertions(+), 12 deletions(-)
diff --git a/doc/r7rs-small/formal-syntax.texinfo b/doc/r7rs-small/formal-syntax.texinfo
@@ -220,20 +220,26 @@ characters used in the grammar of numbers can appear in either upper or lower ca
 @node External representations formal
 @subsection External representations
 
-@svar{Datum} is what the read procedure (section 6.13.2) successfully parses. Note that any
+@svar{Datum} is what the read procedure (@ref{Input}) successfully parses. Note that any
 string that parses as an @svar{expression} will also parse as a @svar{datum}.
 
-@svar{datum} ⟶@svar{simple datum} ∣@svar{compound datum}
-∣@svar{label} = @svar{datum} ∣@svar{label} #
-@svar{simple datum} ⟶@svar{boolean} ∣@svar{number}
-∣@svar{character} ∣@svar{string} ∣@svar{symbol} ∣@svar{bytevector}
-@svar{symbol} ⟶@svar{identifier}
-@svar{compound datum} ⟶@svar{list} ∣@svar{vector} ∣@svar{abbreviation}
-@svar{list} ⟶(@svar{datum}*) ∣(@svar{datum}+ . @svar{datum})
-@svar{abbreviation} ⟶@svar{abbrev prefix} @svar{datum}
-@svar{abbrev prefix} ⟶' ∣` ∣, ∣,@
-@svar{vector} ⟶#(@svar{datum}*)
-@svar{label} ⟶# @svar{uinteger 10}
+@format
+@svar{datum} @expansion{} @svar{simple datum} ∣ @svar{compound datum}
+    ∣ @svar{label} @code{=} @svar{datum} ∣ @svar{label} @code{#}
+@svar{simple datum} @expansion{} @svar{boolean} ∣ @svar{number}
+    ∣ @svar{character} ∣ @svar{string} ∣ @svar{symbol}
+    ∣ @svar{bytevector}
+@svar{symbol} @expansion{} @svar{identifier}
+@svar{compound datum} @expansion{} @svar{list} ∣ @svar{vector}
+    ∣ @svar{abbreviation}
+@svar{list} @expansion{} @code{(}@arbno{@svar{datum}}@code{)}
+    ∣ @code{(}@atleastone{@svar{datum} @code{.} @svar{datum}@code{)}
+@svar{abbreviation} @expansion{} @svar{abbrev prefix} @svar{datum}
+@svar{abbrev prefix} @expansion{} @code{'} ∣ @code{`} ∣ @code{,}
+    ∣ @code{,@@}
+@svar{vector} @expansion{} @code{#(}@arbno{@svar{datum}}@code{)}
+@svar{label} @expansion{} @code{#} @svar{uinteger 10}
+@end format
 
 @node Expressions formal
 @subsection Expressions