3.1 公式编写的语法