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 @@
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