support for turning off timestamps

lzr265946

2023-02-10 7aa2e885f41829e5148ed3be44d3ebb43e04ff40

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