Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
test_latex [2019/02/07 18:32] wikiadmin |
test_latex [2019/02/07 18:32] wikiadmin |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| <latex> | <latex> | ||
| \begin{array}{l} | \begin{array}{l} | ||
| - | a > 2 \wedge res \geq 0 \wedge (n = n0 \lor res > 14) \rightarrow \\ | + | b > 2 \wedge res \geq 0 \wedge (n = n0 \lor res > 14) \rightarrow \\ |
| 2a \land res + 2a >= 0 \wedge (n - 1 = n_0 \lor res + 3a \geq 0) | 2a \land res + 2a >= 0 \wedge (n - 1 = n_0 \lor res + 3a \geq 0) | ||
| \end{array} | \end{array} | ||