1 files changed, 26 insertions, 16 deletions
diff --git a/txr.1 b/txr.1
index 7526fea7..bdd6fa71 100644
--- a/txr.1
+++ b/txr.1
@@ -52862,27 +52862,27 @@ There is no way to use
 .code op
 to generate functions which have optional arguments.  The positional
 arguments are mutable; they may be assigned.
-.meIP < @rest
+.coIP @rest
 If the meta-symbol
-.meta @rest
+.code @rest
 appears in the
 .code op
 syntax as an expression, it explicitly denotes and evaluates to the list of
 trailing arguments. Like the metanumber positional arguments, it
 may be assigned.
-.meIP < @rec
+.coIP @rec
 If the meta-symbol
-.meta @rec
+.code @rec
 appears in the
 .code op
 syntax as an expression, it denotes a mutable variable which is bound to the
 function itself which is generated by that
 .code op
 expression.
-.meIP >> @( rec ...)
+.coIP "@(rec ...)"
 If this syntax appears inside
 .codn op ,
-it specifies a recursive call the function.
+it specifies a recursive call to the function.
 .RE
 
 .IP
@@ -52890,14 +52890,16 @@ Functions generated by
 .code op
 are always variadic; they always take additional arguments after
 any required ones, whether or not the
-.meta @rest
+.code @rest
 syntax is used.
 
 If the body does not contain
 any
-.meta @num
+.mono
+.meti >> @ num
+.onom
 or
-.meta @rest
+.code @rest
 syntax, then
 .code @rest
 is implicitly inserted.  What this means is that, for example, since
@@ -52913,11 +52915,13 @@ a function which applies
 .code foo
 to all of its arguments.
 If the body does contain at least one
-.meta @num
+.mono
+.meti >> @ num
+.onom
 or
-.metn @rest ,
+.codn @rest ,
 then
-.meta @rest
+.code @rest
 isn't implicitly inserted. The notation
 .code "(op foo @1)"
 denotes a function which takes any number of arguments, and ignores
@@ -53021,12 +53025,16 @@ symbols in the program.
 .brev
 
 Note that if argument
-.meta @n
+.mono
+.meti >> @ n
+.onom
 appears in the syntax, it is not necessary
 for arguments
-.meta @1
+.code @1
 through
-.meta @n-1
+.mono
+.meti >> @ n-1
+.onom
 to appear. The function will have
 .code n
 arguments:
@@ -53619,7 +53627,9 @@ and returns the value specified by
 can contain
 .code ap
 meta syntax like
-.meta @n
+.mono
+.meti >> @ n
+.onom
 and
 .codn @rest .