Schaltpunktberechnung Schmitt-Trigger

Hallo zusammen,

ich habe einen Schmitt-Trigger wie im angehängten Bild gegeben. Für 
diesen wollte ich nun die Schaltpunkte berechnen.

Die ltspice-Simulation ergibt dafür -3,7 V bzw. -8,1 V. Zusätzlich habe 
ich versucht das händisch nachzurechnen, indem ich das Netzwerk aus 
Widerständen separat betrachtet habe und den Ausgang des OP jeweils als 
Spannungsquelle mit +/- 12 V angenommen habe. Von Hand komme ich dann 
auf -3,5 V bzw. -8,1 V, was sich mit der Simulation einigermaßen deckt. 
Allerdings kann ich mir die Differenz von -3,5 zu -3,7 V nicht erklären, 
aber das ist eine andere Frage.

Wenn ich nun die Formel anwende, die hier gegeben ist: 
http://www.mikrocontroller.net/articles/Schmitt-Trigger

komme ich auf ein anderes Ergebnis. Das wäre dann nämlich
U_H = -12V*6k/((4k || 10k)+6k) = -8,1 V und
U_L = -12V*(6k || 10k) / (4k + 6k || 10k) = -12 V * 3,75 / 7,75 = -5,8 V

Kann es sein, dass die Formel für U_L in dem Artikel nicht korrekt 
angegeben ist? Normalweise würde ich ja davon ausgehen, dass meine 
händische Rechnung mit -3,5 V wohl fehlerhaft ist, aber in Kombination 
mit dem Simulationsergebnis von -3,7 V sollte das wohl schon passen.

Grüße
Markus