Nedokážu dát odpověď přímo na otázku, ale zdá se mi nejjednodušší psát znaky jako zavináč pomocí tzv. ASCII kódů, které fungují naprosto spolehlivě v jakémkoliv prostředí od nejmodernějších po starý dobrý DOS. Pro zavináč tedy používám Alt 64 a vím, že se mi tak zobrazí vždy a všude - i v tom IE7.