Add various math symbols to Toy.mathMarkup.
Shorten display of steps using rule rewriteWithFact; use rewrite-style hovers for them.