Wolfram将等式测试视为相等性，如何保留等式形式输出而非布尔值？

• 使用Hold函数包裹等式，阻止Wolfram自动求值：

  Hold[x'[0] == 0]
  

  输出会保留为Hold[x'[0] == 0]，若后续需要解除包裹进行计算，可搭配ReleaseHold函数。

• 用Unevaluated标记表达式，强制输入时不被求值：

  Unevaluated[x'[0] == 0]
  

  注：Unevaluated的作用范围有限，若后续有链式操作可能失效，Hold的稳定性更强。

• 将等式以字符串形式输入，再转换为带保留状态的表达式：

  ToExpression["x'[0] == 0", InputForm, Hold]
  

  该方式适合需要后续对表达式进行结构化处理的场景。

核心逻辑是通过保持表达式的未计算状态，避免Wolfram自动判定等式真假并返回布尔值，从而保留原等式的书写形式。

内容的提问来源于stack exchange，提问作者Tkt