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