rename glog head files for ios

雾聪

2023-11-15 fe3944d1cea06d016c9910746333a0eaa4b51981

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