[up]
unicode not correctly displayed on unicode terminal
(set-terminal-coding-system 'utf-8)