next up previous notation contents
Next: 2.12.2 Interval Inclusion and Extension Up: 2.12 Property Tracking Previous: 2.12 Property Tracking

2.12.1 Properties

Some properties of interest are:  

math8615

Here are formal definitions of these properties:

eqnarray8625

And here are checkable definitions, which correspond to the formal definitions given above:

eqnarray8630

With the above checkable definitions, tex2html_wrap_inline33463 is strongly checkable, while tex2html_wrap_inline33465 and tex2html_wrap_inline33467 are weakly checkable.


next up previous notation contents
Next: 2.12.2 Interval Inclusion and Extension Up: 2.12 Property Tracking Previous: 2.12 Property Tracking
Jeff TupperMarch 1996