From 997021b6c71dcc79a73ff3b6f1e85715dfb80ff7 Mon Sep 17 00:00:00 2001
From: Guillermo Ramos
Date: Fri, 30 May 2014 15:50:52 +0200
Subject: Arreglos en defs.tex

---
 defs.tex | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/defs.tex b/defs.tex
index 7a9c73d..98e974f 100755
--- a/defs.tex
+++ b/defs.tex
@@ -311,11 +311,11 @@
               {\\\/}{{$\vee$}}1
               {.\[}{{[}}1
               {''ora}{{$\mathrel{||}$}}1 %needed for correct display in index
-              {'a}{{\color{OliveGreen}$\alpha\,$}}1
-              {'b}{{\color{OliveGreen}$\beta\,$}}1
-              {'c}{{\color{OliveGreen}$\gamma\,$}}1
-              {'t}{{\color{OliveGreen}$\tau\,$}}1
-              {'x}{{\color{OliveGreen}$\chi\,$}}1
+              {'a}{{{\color{OliveGreen}$\alpha\,$}}}1
+              {'b}{{{\color{OliveGreen}$\beta\,$}}}1
+              {'c}{{{\color{OliveGreen}$\gamma\,$}}}1
+              {'t}{{{\color{OliveGreen}$\tau\,$}}}1
+              {'x}{{{\color{OliveGreen}$\chi\,$}}}1
               {lambda}{{$\lambda\,$}}1
 }
 
@@ -336,5 +336,5 @@
         \end{minipage}}}\end{center}}
 %%% Local Variables: 
 %%% mode: latex
-%%% TeX-master: "easycrypt"
+%%% TeX-master: "memoria"
 %%% End: 
\ No newline at end of file
-- 
cgit v1.2.3