doc: added note to style-guide

agda · Jan 23, 2025 · aa5de90 · aa5de90
1 parent fafefec
commit aa5de90
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/doc/style-guide.md b/doc/style-guide.md
@@ -571,8 +571,9 @@ word within a compound word is capitalized except for the first word.
 
 * Likewise, standard infix symbols for eg, divisibility on numeric
   datatypes/algebraic structure, should be written `\|`, NOT the
-  unmarked `|` character. An exception to this is the *strict*
-  ordering relation, written using `<`, NOT `\<` as might be expected.
+  unmarked `|` character. Ditto. mutual divisibility `\||` etc. An
+  exception to this is the *strict* ordering relation, written using
+  `<`, NOT `\<` as might be expected.
 
 * Since v2.0, the `Algebra` hierarchy systematically introduces
   consistent symbolic notation for the negated versions of the usual