File:ActiveMathUserGoal.png

In ActiveMath a user goal refers to a concept in the OMDoc knowledge base.