Fix the broken Texinfo in the Jacal package documentation

--- jacal/jacal.texi,orig	2017-02-23 20:35:55.303980444 +0100
+++ jacal/jacal.texi	2017-02-23 20:53:14.539024674 +0100
@@ -343,7 +343,7 @@
 
 With the standard input grammar, the precedence of @samp{-} as a prefix
 behaves strangely.  @code{a^-b*c} becomes @code{a^(-b*c)} while
-@code{@result{a^b*c} (a^b)*c}.
+@code{a^b*c @result{} (a^b)*c}.
 
 Using @code{divide} to divide a polynomial by an integer does not work.
 
@@ -675,8 +675,9 @@
 e1: ---------
         a
 @end example
+@end deffn
 
-@deffnx Command suchthat var exp
+@deffn Command suchthat var exp
 
 If an expression rather than an equation is given to @code{suchthat}, it
 is as though the equation @code{@var{exp}=0} was given.
@@ -688,8 +689,9 @@
 e2: ---------
         a
 @end example
+@end deffn
 
-@deffnx Operator | var exp_or_eqn
+@deffn Operator | var exp_or_eqn
 
 An alternative infix notation is also available for @code{suchthat}.
 
@@ -857,8 +859,9 @@
 
 Returns the degree of polynomial or equation @var{poly} in variable
 @var{var}.
+@end deffn
 
-@deffnx Operator degree poly
+@deffn Operator degree poly
 
 Returns the total-degree, the degree of its highest degree monomial,
 of polynomial or equation @var{poly}.
@@ -1016,10 +1019,12 @@
 Returns @var{poly1} reduced with respect to @var{poly2} (or @var{eqn})
 and @var{var}.  If @var{poly2} is univariate, the third argument is not
 needed.
+@end deffn
 
-@deffnx Command mod poly1 n
+@deffn Command mod poly1 n
 Returns @var{poly1} with all the coefficients taken modulo @var{n}.
-@deffnx Command mod poly1
+@end deffn
+@deffn Command mod poly1
 Returns @var{poly1} with all the coefficients taken modulo the
 current modulus.
 
@@ -1220,8 +1225,9 @@
 e1: -1 2  3 5
 @end group
 @end example
+@end deffn
 
-@deffnx Command factor polyratio
+@deffn Command factor polyratio
 Given a univariate ratio of polynomials @var{polyratio}, returns a
 matrix of factors and exponents.
 
@@ -2028,7 +2034,7 @@
 formed from the pair-wise products of components of the inputs.  For
 example, for the input tensors @code{x[a,b]} and @code{y[c]}
 @example
-@result{z:tmult(x,y);} z[a,b,c] = x[a,b]*y[c]
+z:tmult(x,y); @result{} z[a,b,c] = x[a,b]*y[c]
 @end example
 
 With an additional argument, @code{tmult} will produce the inner product
@@ -2464,8 +2470,9 @@
 If you do not wish to return to Jacal but really want to terminate the
 session and return to the operating system, then after typing
 @code{qed();}, type @code{(slib:exit)} or use @code{quit}.
+@end deffn
 
-@deffnx Command quit
+@deffn Command quit
 Exit directly from Jacal to the operating system.  You will not be able
 to continue your Jacal session.
 
ef='/guix/commit/gnu/tests/cups.scm?id=15a6805751309452616999933492f1fb9da8bcec'>gnu: Add system test for CUPS.</a><span class='msg-avail'>...</span></td><td>Marius Bakke</td></tr>