update server for argsparser

huangmingming

2023-01-29 c4d60d9a237d97d68db352d5b3e3be9c332d0d79

1
2
3
4
5
6
7
8
+    plus
-    minus
/    divided
÷    divided
:    divided
×    times
*    times
·    times