I discovered earlier today that some symbols weren’t showing correctly in a Windows browser. Sorry about that. I think I’ve sorted it and revised a couple of posts accordingly. But I won’t be able to check on a Windows machine again for a couple of days.