This file is part of the JOBAD demo for the AI Mashup Challenge 2009!
For the JOBAD demo, you need Firefox 3.5. You can look up the definition of a symbol by right-clicking on it and selecting “lookup definition” from the context menu.
In order to test the folding/elision in this document please either right-click on a part of a formula and select the appropriate function from the context menu or first select part of a math formula and then right-click to explore the possible options in the context menu applicable for that particular selection