Turn on math mode in latex mode.
Show more candidates.
Add bindings that would work on Atreus.
Fix maxima matrix printing.