From e416faa646c0721f2ddad6e4060c2eaa4dad8a25 Mon Sep 17 00:00:00 2001
From: Juan Marín Noguera <juan.marinn@um.es>
Date: Wed, 20 Jan 2021 21:46:32 +0100
Subject: Apuntes SSII completos

---
 si/n3.lyx | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'si/n3.lyx')

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
-- 
cgit v1.2.3