Presenting semantically encoded math on the web:

The ActiveMath system