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？

---

好吧 问题简化为就是如何自定义一个像+号那样的二元运算符

---

还有就是集合运算的最基本运算性质有几条（就是有这几条性质可以推出化简其它全部的不等式运算）

---

你这么喜欢作，你完全可以新开一个函数包然后调整outputform的新式，折腾原生函数干什么？随便乱改迟早玩坏计算内核

---

...那这个问题先这样，我不折腾了，以后有机会再折腾

---

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

---

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

---

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

---

嗯 好的 谢谢EmberEdison指导

---

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