diff --git a/tutorials/online/sidenote-logic-ops.html b/tutorials/online/sidenote-logic-ops.html index 52bfd9a..79a841d 100644 --- a/tutorials/online/sidenote-logic-ops.html +++ b/tutorials/online/sidenote-logic-ops.html @@ -9,7 +9,7 @@

Logical Operations

Alloy supports the standard boolean operators:

-  !F      // negations: not F
+  !F      // negation: not F
   F && G  // conjunction: F and G
   F || G  // disjunction: F or G