Kodierung
Ja, UTF-8 kann das. Findet man leicht durch Ausprobieren heraus:
Und zur Gegenprobe noch der Roundtrip:
Ob jedes Encoding der Welt dies unterstützt, lässt sich schon mittels ASCII widerlegen:
Mit UTF-8 liegst du halt meistens richtig. Wenn nichts dagegen spricht, dann würde ich das verwenden. Auch unter Windows.
Code: Alles auswählen
s = '╚ ═ ║ ╔ ╗╝'
s.encode('utf-8')
Code: Alles auswählen
s.encode('utf-8').decode('utf-8')
Code: Alles auswählen
s.encode('ascii')