[JARGON][COMMITTED] Syntax for VOID-unit

[Jose E. Marchesi]

    Syntax for VOID-units

diff --git a/src/void-unit.texi b/src/void-unit.texi
index 00edecb..11dc9d2 100644
--- a/src/void-unit.texi
+++ b/src/void-unit.texi
@@ -55,6 +55,31 @@ the value yielded by these units gets @dfn{voided} and discarded.
 These are @dfn{@B{void}-units}, also known as @dfn{statements}.
 @c man end
 
+@subheading Syntax
+@c man begin SYNTAX
+Simplified [RR 3.2.1.b]:
+
+@example
+b) SOID series with PROPSETY:
+     strong void unit, go on token, SOID series with PROPSETY ;
+     where (PROPSETY) is (DECS DECSETY LABSETY),
+       declaration of DECS, go on token,
+       SOID series with DECSETY LABSETY ;
+     where (PROPSETY) is (LAB LABSETY),
+       label definition of LAB,
+       SOID series with LABSETY ;
+     where (PROPSETY) is (LAB LABSETY) and SOID balances SOID1 and SOID2,
+       SOID1 unit, completion token, label definition of LAB,
+       SOID2 series with LABSETY ;
+     where (PROPSETY) is (EMPTY),
+       SOID unit.
+@end example
+
+In the hyper-rule above the first alternative matches a
+@code{@B{void}-unit}.  Note that the unit is in a strong context with
+goal mode @code{@B{void}}, and therefore is subject to voiding.
+@c man end
+
 @subheading See Also
 
 @itemize @bullet