Das ist richtig. Wobei doch eigentlich nur beim Anzeigen zu Problemen kommen kann...
Also wenn man in einer Textdatei das Zeichen "╬" druch ein normales "+"-Zeichen tauschen will, kann man IMHO folgendes machen:
Das wäre auf jeden Fall besser als das Zeichen selber zu verwenden:
Wobei das auch klappen müßte, wenn das Encoding des Skriptes richtig ist. Aber die Gefahr das das Sonderzeichnen irgendwann im Skript "kaputt" ist, wäre im ersten Fall nicht gegeben
Ob das Terminal dann unicode kann oder nicht ist in beiden Varianten doch wurscht...
btw. da gibt es ein Bug im Python-Highlighter:
http://www.python-forum.de/topic-6782.html