Differences

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

Link to this comparison view

Both sides previous revision Previous revision
manual:chapter3:symbolic [2019/01/25 10:20]
claudio
manual:chapter3:symbolic [2019/01/30 06:02] (current)
claudio [Attributes]
Line 95: Line 95:
 | 2 | Value is known not to be < 0 (therefore it's >=0) | | 2 | Value is known not to be < 0 (therefore it's >=0) |
 | 3 | Value is known not to be < 0 and not to be zero (therefore it's >0) | | 3 | Value is known not to be < 0 and not to be zero (therefore it's >0) |
-| 4 | Value is known not to be > 0 (therefore it's <=0) |+| 4 | Value is known not to be > 0 (therefore it'​s ​%%<=%%0) |
 | 5 | Value is known not to be > 0 and not to be zero (therefore it's <0) | | 5 | Value is known not to be > 0 and not to be zero (therefore it's <0) |
  
  • manual/chapter3/symbolic.1548440413.txt.gz
  • Last modified: 2019/01/25 10:20
  • by claudio