1 files changed, 4 insertions, 2 deletions

diff --git a/si/n3.lyx b/si/n3.lyx
index 25dfd6e..4198637 100644
--- a/si/n3.lyx
+++ b/si/n3.lyx
@@ -1486,9 +1486,11 @@ gets n$
 
 		
 \backslash
-Repetir{para $(u_i,S)
+Repetir{$
 \backslash
-in A$ sea $S
+forall(u_i,S)
+\backslash
+in A,S
 \backslash
 nsubseteq R$}{
 \end_layout