r7rs-small-texinfo

commit 2f11817765c721ff3127d81893738cda0777bcd4
parent d8fdf63b281b74810d8f6b23e0fa87f5a6cf69c1
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date:   Wed, 31 Jan 2024 14:19:48 -0500

Conditionals 'if': Texify.

Diffstat:
M
doc/r7rs-small/r7rs-small.texinfo
 | 
9
+++++----

1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/doc/r7rs-small/r7rs-small.texinfo b/doc/r7rs-small/r7rs-small.texinfo
@@ -1405,15 +1405,16 @@ tagged with a storage location, in order to make @code{eqv?} and @code{eq?} work
 @node Conditionals (if)
 @subsection Conditionals (if)
 
-syntax: (if @svar{test} @svar{consequent} @svar{alternate})
-syntax: (if @svar{test} @svar{consequent})
+@deffn  syntax if @svar{test} @svar{consequent} @svar{alternate}
+@deffnx syntax if @svar{test} @svar{consequent}
 
 Syntax: @svar{Test}, @svar{consequent}, and @svar{alternate} are expressions.
 
-Semantics: An if expression is evaluated as follows: first, @svar{test} is evaluated. If it yields a
-true value(see section 6.3), then @svar{consequent} is evaluated and its values are returned.
+Semantics: An @code{if} expression is evaluated as follows: first, @svar{test} is evaluated. If it yields a
+true value (@xref{Booleans}), then @svar{consequent} is evaluated and its values are returned.
 Otherwise @svar{alternate} is evaluated and its values are returned. If @svar{test} yields a false
 value and no @svar{alternate} is specified, then the result of the expression is unspecified.
+@end deffn
 
 @example