mibor changes to notations and Algo1.tex