[Zhenghan] math formula completed