如题，矩阵mA，mC是两个明确定义的矩阵；mB，mD是未定义的符号。请问如何让mA.mC \[CircleTimes] mB.mD在输出时让mA.mC为矩阵格式而非大括号格式？尝试了MatrixForm命令，但未能达成目的。将mA和mC矩阵化导致不计算矩阵乘积，而在最后使用MatrixForm命令没有结果。代码如下：
Clear["Global`*"];
mA = {{1, 2}, {3, 4}};
mAform = mA // MatrixForm;
mC = {{1, 0}, {0, 1}};
mCform = mC // MatrixForm;
(mA\[CircleTimes]mB) . (mC\[CircleTimes]mD) /. (x_\[CircleTimes]
y_) . (a_\[CircleTimes]b_) -> (x . a)\[CircleTimes](y .
b) // MatrixForm
(mAform\[CircleTimes]mB) . (mCform\[CircleTimes]mD) /. (x_\
\[CircleTimes] y_) . (a_\[CircleTimes]b_) -> (x .
a)\[CircleTimes](y . b)
运行结果如图

规则右边改成 MatrixForm[(x . a)]\[CircleTimes]MatrixForm[(y . b)] 。不过张量积的符号应该是\[TensorProduct]

……请阅读精品区《为什么我的代码加了MatrixForm就出问题了？》。