Das Smiley-Beispiel ist sehr schwer lesbar durch die Verwendung von Doppelpunkt und Klammer als Bezeichner (anstelle eines Buchstabens), speziell in Kombination mit der Bra-Ket-Notation. Ich wollt's nicht direkt ohne Nachfrage ändern, denn vielleicht ist das Beispiel in der Viele-Welten-Theorie tatsächlich so verbreitet, dass es Sinn macht, diese Notation auch in der Wikipedia zu benutzen. Aber für fachfremde Leser sollte man vielleicht eine etwas weniger konfuse Bezeichnung wählen. -- Stefan 10:55, 19. Feb. 2014 (CET)