Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
ich versuche grade in Latex ein kleines Quadrat vor einem Buchstaben zu erzeugen, aber irgendwie bekomm ich das nicht hin. Das ganze sollte im Endeffekt dann ungefähr so aussehen wie auf http://en.wikipedia.org/wiki/Linear_temporal_logic bei Globally.
