From 110ac6678a63198ddc6798161ff2868587ab2875 Mon Sep 17 00:00:00 2001
From: hardroadcrush <130765493+hardroadcrush@users.noreply.github.com>
Date: Wed, 1 Apr 2026 21:53:25 -0900
Subject: [PATCH] Update sidenote-logic-ops.html

corrected a typo
---
 tutorials/online/sidenote-logic-ops.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 @@ <h2>Logical Operations</h2>
 
 <p> Alloy supports the standard boolean operators:
 <b><pre>
-  !F      // negations: not F
+  !F      // negation: not F
   F && G  // conjunction: F and G
   F || G  // disjunction: F or G
 </b></pre>