波ダッシュ？全角チルダ？ 言い方違うだけかと思ったら WAVE DASH と FULLWIDTH TILDE そのまんまだった

diff ったら、こんなん出てきて涙目だったので、調べてみた。

54c54
<                 . "　〜　" .
---
>                 . "　〜　" .

nkf -u で変換したら

　　809c／U+301C／WAVE DASH

になるようだ。で、手入力したと思われる方が

　　bd9e／U+FF5E／FULLWIDTH TILDE

らしい。

参考：http://blog.as-is.net/2003/05/utf-8.html

どっちを残すかでえらい悩んだ。
一応手入力である FULLWIDTH TILDE を残すことにする。