例如这样的一个柿子:
amod b=10086\color{red}a\mod b=10086amodb=10086
$\color{red}a\mod b=10086$
该怎么把\mod的外显也变成红色?
\mod