合式公式

well formed formula