Mathematica 可以灵活地对变量进行任意的符号假定说明. 它采用大量先进的算法来推断假定的结果，在这个过程中往往自动应用一系列必要的数学定理.
Element (
) — 指定一个域的隶属关系 (输入为
Esc elem Esc)
NotElement (
) — 指定一个域内排除的成员 (
Esc !elem Esc)
Less (
<),
Greater (
>),
... — 定义不等式，一般为实数
ForAll (
) — 全称量词 (输入为
Esc fa Esc)
Exists (
) — 存在量词 (输入为
Esc ex Esc)
FunctionExpand — 用假定，展开为简单函数
