>>638
そういう付加的な記号は結構ややこしい文化で、伝統的に使い方がある程度決まってるものと論文によって違う使われ方をしてるものが混在してる
チルダは後者だと思う