add bit about communication

[msc-thesis1617.git] / thesis.pre

diff --git a/thesis.pre b/thesis.pre
index 9c362f9..8f384f2 100644 (file)
--- a/thesis.pre
+++ b/thesis.pre
@@ -55,23 +55,23 @@
                {\\}{{$\lambda\:$}}1
                {A.}{{$\forall\;\,$}}1
                {E.}{{$\exists\;\,$}}1
-               {>}{{$>$}}1
-               {<}{{$<$}}1
-               {<=}{{$\leq$}}1
-               {>=}{{$\geq$}}1
-               {<>}{{$\neq$}}1
-               {->}{{$\rightarrow$}}2
-               {<-}{{$\leftarrow$}}1
-               {=}{{$=$}}1
-               {~}{{$\sim$}}1
-               {\#}{{$\sharp$}}1
-               {\{|}{{$\{\!|\!$}}1
-               {|\}}{{$\!|\!\}$}}1
-               {:=}{{$:=$}}2
-               {==}{{$==$}}2
-               {++}{{$+\!\!+$}}2
-               {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
-               {:==}{{$:==$}}3
+%              {>}{{$>$}}1
+%              {<}{{$<$}}1
+%              {<=}{{$\leq$}}1
+%              {>=}{{$\geq$}}1
+%              {<>}{{$\neq$}}1
+%              {->}{{$\rightarrow$}}2
+%              {<-}{{$\leftarrow$}}1
+%              {=}{{$=$}}1
+%              {~}{{$\sim$}}1
+%              {\#}{{$\sharp$}}1
+%              {\{|}{{$\{\!|\!$}}1
+%              {|\}}{{$\!|\!\}$}}1
+%              {:=}{{$:=$}}2
+%              {==}{{$==$}}2
+%              {++}{{$+\!\!+$}}2
+%              {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
+%              {:==}{{$:==$}}3
                {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
                %
                % Basic iTask constructs