Merge pull request #1145 from herbie-fp/ganesh-docs-tweak

Tweak to docs suggested by Ganesh
herbie-fp · Jan 30, 2025 · 25a83b6 · 25a83b6
2 parents 5cf9c4f + 22acfd9
commit 25a83b6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/www/doc/2.2/input.html b/www/doc/2.2/input.html
@@ -122,7 +122,8 @@ <h2 id="conditionals">Conditionals</h2>
     <dd>The two boolean values</dd>
   </dl>
 
-  <p>The comparison functions support chained comparisons with more than two arguments.</p>
+  <p>The comparison functions support chained comparisons with more than two arguments;
+    for example <code>(&lt; 1 x 10)</code> means <code>1 < x < 10</code>.</p>
 
   <h2 id="intermediates">Intermediate variables</h2>