公式输入的