basvandijk/lifted-base — pull request #23 by minamiyama1994 (2014-05-04 00:13:03+00:00)
Title: 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.**