rename punc functions

lyblsgo

2023-05-09 f2500eca9390e0369884c7ae87a0107c4841d01d

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