1 files 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