GitHub repository: zhengkyl/symbol-naming
Description: Names for punctuation symbols are too long; let's shorten them