数学和逻辑变量工具 - 常规选项卡