removed pdf

ACV-abstract-2026/sym-sim.tex

@@ -241,7 +241,7 @@ We ask:
 \begin{enumerate}
   \item How to construct relators for established notions of simulation? 
   \item How to generally prove that ensuing symmetric simulations are bisimulations?
-  \item How alternative notions of simulations align with the relator-based one? 
+  \item How alternative notions of simulation align with the relator-based one? 
 \end{enumerate}
 
 \paragraph{Relaxing Barr Relators} %\label{sec:}