Summary of User Needs
Audio description
Navigation of expression
Braille math translation
Linewrapping of expressions
Synchronization of highlighting with speech