代码是为了定义微分算符
d /: d[x_]*w_ := D[w, x]<br>
(*可以实现手写运算时的微分算子∂x*w=D[w, x]*)
运算过程中采用Defer或者Inactive函数来推迟运算，直至矩阵计算后得到最终结果，例如：
Defer[d[z]/r]*y[r,z]此时希望重载运算符为Defer[x_]*y_=Defer[x*y]，符合平常推导的思路:∂x*(1/r)*y=∂x*(y/r)
具体代码如下：
d /: d[x_]*(w_) := D[w, x];
A = {{d[r], 0}, {0,
Defer[(1/r)*d[\[Theta]]]}} . {{ur[r, \[Theta], z]}, {uz[
r, \[Theta], z]}} // InputForm
结果为：
{{Derivative[1, 0, 0][ur][r, \[Theta], z]}, {Defer[(1/r)*d[\[Theta]]]*uz[r, \[Theta], z]}}
我希望得到Defer[x_]*y_=Defer[x*y]即Defer[(1/r)*d[\[Theta]]]*uz[r, \[Theta], z]->Defer[(1/r)*d[\[Theta]]*uz[r, \[Theta], z]]

可以在你的代码基础上增加一条定义来解决问题，但我不推荐这样做。
处理手写数学公式中惯用的算符“乘法”与数值乘法Times的含义差别是一个很经典的问题，你可以参考我写过的一段代码，待会上传好了就发到楼下。
简单地说，我建议：
1. 不通过修改Times表达式的计算方式去实现，否则你时时刻刻都要通过Defer这样的封装去遏制它的Orderless属性。
2. 对复合（算符*算符）、作用（算符*表达式）、乘积复合（表达式*算符）乃至更复杂的向量算符（如 向量点乘向量算符）的各种支持分别下定义去实现（具体可参考我的代码）
3. 如果要用 Defer ，不要修改Defer的定义，而是自己定义一个封装然后给一个HoldAll属性，然后定义Format[yourDefer[expr_], StandardForm]:=Format[expr_, StandardForm]（不过我习惯使用MakeBoxes了，作用一样）

改成这样勉强符合微分算子的逻辑了。。

我的代码：
https://gitee.com/asdasd1dsadsa/code-clipboard-asdasd1dsadsa/blob/master/DelOperator.wl

还是链一下，以免有人找不到：
tieba.baidu.com/p/3192937406