changing notation in writeup