init.el is modified.

theme is changed from solarized-dark to matrix-theme.
under solarized-dark, face coler of math synbole like +-*/= is not visible.