diff options
| -rw-r--r-- | Doc/ref/ref5.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex index 22398bd..4eff379 100644 --- a/Doc/ref/ref5.tex +++ b/Doc/ref/ref5.tex @@ -691,7 +691,7 @@ C, \code{!=} is preferred; where \code{!=} is mentioned below \code{<>} is also acceptable. At some point in the (far) future, \code{<>} may become obsolete. -The operators {\tt "<", ">", "==", ">=", "<="}, and {\tt "!="} compare +The operators \texttt{"<", ">", "==", ">=", "<="}, and \texttt{"!="} compare the values of two objects. The objects needn't have the same type. If both are numbers, they are coverted to a common type. Otherwise, objects of different types \emph{always} compare unequal, and are |