Without unicode symbol package

You use `base-unicode-symbols` package and use Unicode symbol.
But, it is **BAD IDEA**.
Because

* Can not be displayed correctly depending on the environment.
* Readability is down significantly because it is different from the convention.

So, **you must not use Unicode Symbol.**