MMA如何表示集合运算中的差集A-B和自定义像+号那样的二元运算符 [已关闭]

Question

我想用MMA化简集合运算结果，但是遇到了A-B不知道如何表示，其它集合运算还好处理

Unprotect[Subtract];
Subtract[a_, b_] := Complement[{a}, {b}];
A - (A - B) // Simplify

这个问题我是这样解决的...

A \[And] ! (A \[And] ! B) // Simplify

希望还有更好的办法，此外在mathematica中如何把Δ定义为对称差集，也即定义一个新的二元运算符号Δ，并进行集合运算化简

\[CapitalDelta][A_, B_] := (A \[And] ! B) \[Or] (B \[And] ! A)
A~\[CapitalDelta]~B

但是我想如何使Δ像+号那样直接运算，而不加~

我已经知道了MMA中对称差集用逻辑运算符Xor表示，但是还是希望解决自定义一个二元运算符的问题

Comments

-------[友善度]-------我就问你你听说过公理化集合论么？

---

嗯 听说过，我下过电子书，但是没看懂，我抽空重修一下，貌似很难懂
而且没看到那部分对高中的集合化简运算有帮助，你可以提示一下吗？

---

高中的 集合 化简 运算 是有 很多 很多 的 前提 的，对于mma来说，不是通用的情况；你完全可以写自定义函数来化简

---

嗯 好的 谢谢EmberEdison指导

---

追问一下 如何让MMA的输出结果用∩∪这种符号表示
已解决// TraditionalForm
评论无法删除 不好意思哈