It's better as a remark

utensil · Jul 24, 2024 · bb4c955 · bb4c955
1 parent 4153133
commit bb4c955
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/trees/tt-004Y.tree b/trees/tt-004Y.tree
@@ -18,7 +18,7 @@
   }
 }
 
-\card{notation}{directions in (co)limits}{
+\card{remark}{directions in (co)limits}{
   \table{
     \thead{
       \tr{