デフォルトのフォントをDroid Sans Monoに変更したら、
▽はちゃんと全角幅で表示されるようになったけど、
全角のマイナスと三点リーダーはjisx0208なのに設定したフォントが使われず、
デフォルトのフォントで半角幅で表示される。

全角文字の桁数の方はcjk-char-width-table-listで変更できたけど。