🌈 搜索
📅  最后修改于: 2020-10-14 02:46:07             🧑  作者: Mango
\ gtrdot-用于绘制gtrdot符号。
{ \gtrdot }
\ gtrdot命令绘制gtrdot符号。
\gtrdot
打印