车到山前必有路，船到桥头自然直………

我想到了一个解决办法，就是在每一个公式块内进行处理，每次处理找出用到了哪些宏（这个可以直接 find），然后需要考虑到一个宏引用到另一个宏的情况（可以用树结构），然后在这些宏前手动添加\newcommand 让 KaTeX 自行展开宏，这样子似乎可以规避宏展开的情况下实现宏的效果。