Moin!
Als Hinweis noch, die Tilde und der Tildeoperator sind *nicht* dieselben Zeichen, sie sehen nur genauso aus. Die normale Tilde gehoert zum einfachen ASCII-Zeichensatz und sollte auf jedem gaengigen System darstellbar sein; Andreas hat Dir den Code ja schon genannt. Siehe auch den Kommentar in der HTML Spec Kapitel 24 bei der Deklaration von â¼
(request for Linksetzer).
http://www.w3.org/TR/html4/sgml/entities.html#h-24.3.1
"<!-- tilde operator is NOT the same character as the tilde, U+007E,
although the same glyph might be used to represent both -->"