typos

GinoGiotto · Jan 14, 2024 · 152b535 · 152b535
1 parent ca3da53
commit 152b535
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/set.mm b/set.mm
@@ -630110,7 +630110,7 @@ standardize vectors to a length (norm) of one, but such definitions require
   $}
 
   ${
-    $d x y z $. $d A z $. $d B z $.
+    $d x y z $.  $d A z $.  $d B z $.
     nfcsbw.1 $e |- F/_ x A $.
     nfcsbw.2 $e |- F/_ x B $.
     $( Version of ~ nfcsb with a disjoint variable condition, which does not