This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
best_practices [2012/04/13 15:35] paddy [Parentheses] |
best_practices [2012/04/13 15:36] (current) paddy [Parentheses] |
||
---|---|---|---|
Line 14: | Line 14: | ||
You might also run into problems by implicitly put parentheses (by precedence rules). | 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. | If in doubt, check [Isabelle → Settings → Display → Show Brackets] and find out what exactly happens. |