formulization

• 用公式表示，把…作成公式;