公式表示,关于公式表示的所有信息