代数拘束をモデルに割り当てるために使用します。代数拘束とは、変数、数値定数、組み込み関数、および組み込み定数の間の拘束関係を表す数式です。

数式は文字要素に格納され、「文字を配置」ツールを使用して作成されます。また、「文字を編集」ツールを使用して編集することができます。

数式のシンタックスは、代数の規則に従います。組み込みの関数および定義済みの定数を使用することができます。