GitHub repository: richzli/symbol-naming
Created: 2021-06-01T01:42:46Z
Description: Names for punctuation symbols are too long; let's shorten them