Haiwen 2022 Graduate school mathematical formula shorthand portable Baoding Yong Graduate school mathematics outline Theorem Shorthand manual Graduate school mathematics one two three formulas can be equipped with Zhang Yu 1000 questions Li Yongle line generation handout