diff --git a/semester4/fmfp/formal-methods-functional-programming-summary.pdf b/semester4/fmfp/formal-methods-functional-programming-summary.pdf
index 99ad126..fb7454c 100644
Binary files a/semester4/fmfp/formal-methods-functional-programming-summary.pdf and b/semester4/fmfp/formal-methods-functional-programming-summary.pdf differ
diff --git a/semester4/fmfp/parts/03_language-semantics/00_imp/00_syntax.tex b/semester4/fmfp/parts/03_language-semantics/00_imp/00_syntax.tex
index b52b7e6..ed28fd0 100644
--- a/semester4/fmfp/parts/03_language-semantics/00_imp/00_syntax.tex
+++ b/semester4/fmfp/parts/03_language-semantics/00_imp/00_syntax.tex
@@ -20,6 +20,7 @@ Arithmetic and Boolean statements could be defined in Haskell as follows
     data Bexp = Or Bexp Bexp | And Bexp Bexp | Not Bexp | Rel Rop Aexp Aexp
     data Rop = Eq | Neq | Le | Leq | Ge | Geq
 \end{code}
+with the abbreviations for \texttt{Eq} (=), \texttt{Neq} (\#), \texttt{Le} ($<$), \texttt{Leq} ($\leq$), \texttt{Ge} ($>$) and \texttt{Geq} ($\geq$)
 
 Statements could be defined in Haskell as follows
 \mint{haskell}+data Stm = Skip | Assign String Aexp | Seq Stm Stm | If Bexp Stm Stm | While Bexp Stm+