fix extra unicode character#123

oscarlevin wants to merge 1 commit into

mainmathtechorg/mathtechorg.github.io:mainfrom

encodingmathtechorg/mathtechorg.github.io:encodingCopy head branch name to clipboard