公式名字与函数