@article{202408.0503, doi = {10.20944/preprints202408.0503.v1}, url = {https://doi.org/10.20944/preprints202408.0503.v1}, year = 2024, month = {August}, publisher = {Preprints}, author = {Ji Peng}, title = {Symmetry in Formal Calculation}, journal = {Preprints} }