[latex3-commits] [latex3/latex2e] gh1282: Additional words about relations @FrankMittelbach (f17718e1)

[github at latex-project.org]

Repository : https://github.com/latex3/latex2e
On branch  : gh1282
Link       : https://github.com/latex3/latex2e/commit/f17718e15b88899b8407fb20454ef3fd76dc9df9

>---------------------------------------------------------------

commit f17718e15b88899b8407fb20454ef3fd76dc9df9
Author: David Carlisle <d.p.carlisle at gmail.com>
Date:   Mon Mar 18 11:10:47 2024 +0000

    Additional words about relations @FrankMittelbach


>---------------------------------------------------------------

f17718e15b88899b8407fb20454ef3fd76dc9df9
 base/doc/usrguide.tex | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/base/doc/usrguide.tex b/base/doc/usrguide.tex
index 4dec88aa..db170ff5 100644
--- a/base/doc/usrguide.tex
+++ b/base/doc/usrguide.tex
@@ -1064,11 +1064,17 @@ to give a purely numerical result.
 Briefly, the floating point expressions may comprise:
 \begin{itemize}
   \item Basic arithmetic: addition $x\fpbin{+}y$, subtraction $x\fpbin{-}y$,
-    multiplication $x\fpbin{*}y$, division $x\fpbin{/}y$, square root~$\sqrt{x}$,
+    multiplication $x\fpbin{*}y$, division $x\fpbin{/}y$, square root~$\fpop{sqrt}{x}$,
     and parentheses.
   \item Comparison operators: $x\fprel{<}y$,
     $x\fprel{<=}y$, $x\fprel{>?}y$,
     $x\fprel{!=}y$ \emph{etc.}
+    
+    The relation $x\fprel{?}y$ is true exactly if one or both operands is~\nan{} or is
+   a tuple, unless they are equal tuples. Each \meta{relation}
+   can be any (non-empty) combination of |<|, |=|, |>|, and~|?|, plus
+   an optional leading~|!| (which negates the \meta{relation}), with
+   the restriction that the negated \meta{relation} may not start with~|?|.
   \item Boolean logic: sign $\fpop{sign} x$,
     negation $\fpop{!}x$, conjunction
     $x\fprel{\&\&}y$, disjunction $x\fprel{\string|\string|}y$, ternary