making notation consistent in model.tex