Added Theorem model and adjusted the unicode strings on other models to be useful.