prefix-minus-resolution.md

@@ -119,6 +119,10 @@ Also Isabelle ([ http://isabelle.in.tum.de/](http://isabelle.in.tum.de/)) allows
 Other specification languages (like HasCASL) do so, too. For instance the logical prefix negation binds stronger than logical connectives but weaker than infix equality or other comparisons. (This does not apply to the "not" in Haskell, because "not" is a plain function, no operator).
 
 
+Python's power operator binds more tightly than unary operators on its left, [ http://docs.python.org/reference/expressions.html](http://docs.python.org/reference/expressions.html), -1**2 results in -1.
+**
+
+
 My point 3. is backed by the fact that "in case of doubt" prefix application should bind stronger than infix application.
 
 ## Report Delta