解释数学公式：

方程的计算可能会给出一个布尔数学体系结果：

限制选择列表：

默认允许所有符号. 限制允许符号列表：

默认在 $Context 中创建新符号，但可指定自定义文本：

对允许的输出符号指定文本：

避免创建任何新符号：