Cambios estéticos y de compatibilidad (ver mensaje)

* Cambiado globalmente el formato de los conjuntos por comprehensión de la
  notación con ":" a la más común con "|".
* Cambiado el formato de "|" en los conjuntos definidos con \left\{ y \right\}
  para que la barra vertical sea tan grande como las llaves.
* Cambiado grafo del tema 4 de AED I de formato SVG a raster.
  Antes de esto no compilaba porque ImageMagick tiene desactivada por seguridad
  la conversión que LyX necesita para representar imágenes SVG.  Se mantiene la
  versión SVG en el repositorio por si fuera necesaria en el futuro.
* Cambiadas imágenes de puertas lógicas del tema 3 de FC a su versión PDF.
  Antes se usaba la versión SVG, que causa los mismos problemas.
* Cambiadas imágenes en los apuntes de FC para que se miren como figuras.
* Marcadas algunas partes de BBDD como idioma inglés debido a fallos en LaTeX o
  algunos paquetes cuando el idioma no es inglés.  No afecta a la presentación.
* Añadidos saltos de línea donde hacía falta de los apuntes de ISO.
* Corregida referencia en tema 1 AC: ga -> GyA.

3 files changed, 27 insertions, 12 deletions

diff --git a/bd/n5.lyx b/bd/n5.lyx
index b225022..ba71168 100644
--- a/bd/n5.lyx
+++ b/bd/n5.lyx
@@ -234,12 +234,16 @@ Claves Ajenas
 
 \family sans
 (lista numerada de 
+\lang english
+
 \begin_inset Quotes cld
 \end_inset
 
 (
 \emph on
-atributo
+a
+\lang spanish
+tributo
 \emph default
 , ...) Referencia_a 
 \emph on
@@ -249,7 +253,9 @@ NOMBRE_TABLA
 \emph on
 atributo_clave
 \emph default
-, ...)
+, ...
+\lang english
+)
 \begin_inset Quotes crd
 \end_inset
 
@@ -269,18 +275,23 @@ Derivado
 
 \family sans
 (lista numerada de 
+\lang english
+
 \begin_inset Quotes cld
 \end_inset
 
 
 \emph on
-atributo
+a
+\lang spanish
+tributo
 \emph default
  = 
 \emph on
-fórmula
+fórmul
 \emph default
-
+\lang english
+a
 \begin_inset Quotes crd
 \end_inset
 
diff --git a/bd/n6.lyx b/bd/n6.lyx
index ced2c05..29cc82f 100644
--- a/bd/n6.lyx
+++ b/bd/n6.lyx
@@ -4639,7 +4639,7 @@ condición
 \end_inset
 
  es una condición, 
-\begin_inset Formula $\sigma_{C}(R):=(\{r\in R:C(r)\},T,N)$
+\begin_inset Formula $\sigma_{C}(R):=(\{r\in R\mid C(r)\},T,N)$
 \end_inset
 
 , donde 
@@ -4787,7 +4787,7 @@ El producto cartesiano ampliado y la reunión son asociativas, y son conmutativa
 Reunión natural
 \series default
 : Sea 
-\begin_inset Formula $\{j_{1},\dots,j_{p}\}:=\{j:M_{j}\notin\{N_{i}\}\}$
+\begin_inset Formula $\{j_{1},\dots,j_{p}\}\mid =\{j\mid M_{j}\notin\{N_{i}\}\}$
 \end_inset
 
 , si para 
@@ -4805,7 +4805,7 @@ Reunión natural
 , entonces 
 \begin_inset Formula 
 \[
-R\hexstar S:=(\{r*(s_{j_{1}},\dots,s_{j_{p}}):r\in R,s\in S,\forall i,j,(N_{i}=M_{j}\implies r_{i}=s_{j})\},T*U,N*M).
+R\hexstar S:=(\{r*(s_{j_{1}},\dots,s_{j_{p}})\mid r\in R,s\in S,\forall i,j,(N_{i}=M_{j}\implies r_{i}=s_{j})\},T*U,N*M).
 \]
 
 \end_inset
@@ -4836,7 +4836,7 @@ reunión externa izquierda
 \end_inset
 
  como 
-\begin_inset Formula $R]\bowtie_{C}S:=R\bowtie_{C}S\cup(\{r\in R:\nexists s\in S:C(r,s)\}\times N_{m})$
+\begin_inset Formula $R]\bowtie_{C}S:=R\bowtie_{C}S\cup(\{r\in R\mid \nexists s\in S\mid C(r,s)\}\times N_{m})$
 \end_inset
 
 , la 
@@ -4844,7 +4844,7 @@ reunión externa izquierda
 reunión externa derecha
 \series default
  como 
-\begin_inset Formula $R\bowtie[_{C}S:=R\bowtie_{C}S\cup(N_{n}\times\{s\in S:\nexists r\in R:C(r,s)\})$
+\begin_inset Formula $R\bowtie[_{C}S:=R\bowtie_{C}S\cup(N_{n}\times\{s\in S\mid \nexists r\in R\mid C(r,s)\})$
 \end_inset
 
  y la 
@@ -4870,7 +4870,7 @@ División
 , entonces 
 \begin_inset Formula 
 \[
-R\div S:=(\{r:\forall s\in S,r*s\in R\},(T_{1},\dots,T_{n}),(N_{1},\dots,N_{n})).
+R\div S:=(\{r\mid \forall s\in S,r*s\in R\},(T_{1},\dots,T_{n}),(N_{1},\dots,N_{n})).
 \]
 
 \end_inset
@@ -5220,7 +5220,7 @@ segura
 \end_inset
 
  se refiere al conjunto 
-\begin_inset Formula $\{T:t_{1},\dots,t_{n}\in\bigcup_{n\in\mathbb{N}}D^{n}\land\text{COND}(t_{1},\dots,t_{n})\}$
+\begin_inset Formula $\{T\mid t_{1},\dots,t_{n}\in\bigcup_{n\in\mathbb{N}}D^{n}\land\text{COND}(t_{1},\dots,t_{n})\}$
 \end_inset
 
 .
diff --git a/bd/n7.lyx b/bd/n7.lyx
index ca42d0c..8f29a15 100644
--- a/bd/n7.lyx
+++ b/bd/n7.lyx
@@ -917,6 +917,8 @@ sideways false
 status open
 
 \begin_layout Plain Layout
+
+\lang english
 \begin_inset ERT
 status open
 
@@ -1092,6 +1094,8 @@ in C$}{rehacer $e$}
 \end_inset
 
 
+\lang spanish
+
 \begin_inset Caption Standard
 
 \begin_layout Plain Layout