>>882
意味によってunifyしたのもあるし、グリフのみでunifyしちゃったのもあるが。