Differences

This shows you the differences between two versions of the page.

--- best_practices [2012/04/13 15:35] – [Parentheses] paddy
+++ best_practices [2012/04/13 15:36] (current) – [Parentheses] paddy
@@ Line 14: / Line 14: @@
 You might also run into problems by implicitly put parentheses (by precedence rules).
-As an example, consider quantifiers: Is $\forall x. P\; x \vee Q$ to be read as $\forall x. (P\; x \vee Q)$ or as $(\forall x. P\; x) \vee Q$? One might expect the latter (which is commonly done in mathematics) but Isabelle does the former.
+As an example, consider quantifiers: Is $\forall x. P\; x \vee Q$ to be read as $\forall x. (P\; x \vee Q)$ or as $(\forall x. P\; x) \vee Q$? One might expect the latter, but Isabelle does the former.
 If in doubt, check [Isabelle → Settings → Display → Show Brackets] and find out what exactly happens.