<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>I'm doing a demo this week, and find that some symbols don't display properly on my laptop. I've installed the STIX fonts and tried to make everything the same as my desktop. Most symbols work, but not \<lesssim> or even \<times>. Any ideas?</div><div><br></div><div>Another thing: what's this?</div><div><br></div>### load_lib </Users/lp15/isabelle/polyml/x86-darwin/libsha1.so> : dlopen(/Users/lp15/isabelle/polyml/x86-darwin/libsha1.so, 1): image not found<br>### Using slow ML implementation of SHA1.digest<br><br><div>Larry<br></div><br><div><img height="657" width="635" apple-width="yes" apple-height="yes" id="050e7e6d-e018-4424-9869-fe070201f72b" src="cid:007EB2B2-D9CF-4AFA-88BB-2E6EC6F3AC8B"></div></body></html>