Update duals.tex

Author: rzach

content/normal-modal-logic/axioms-systems/duals.tex

@@ -30,7 +30,7 @@
 
 \begin{prop}\ollabel{prop:dualsys}
   For each !!{formula}~$!A$ in \olref[nml][prf][dua]{def:duals}:
-  $\Log{K}!A = \Log{K}! A_{\Diamond}$.
+  $\Log{K}!A = \Log{K}!A_{\Diamond}$.
 \end{prop}
 \begin{proof}
   Exercise.