Easy way to type some utf-8 symbols, helpful for command line