User blog comment:Mh314159/new YIP notation/@comment-37246647-20190712002237/@comment-39585023-20190712010911

Thanks, very alert! I have fixed it, but the evaluation is still correct. I think I just transcribed my notes wrong.