🌈 搜索
📅  最后修改于: 2020-10-14 06:18:31             🧑  作者: Mango
\ rtimes-用于创建rtimes符号。
{ \rtimes}
\ rtimes命令绘制rtimes符号。
\rtimes
打印