Also, the popup that tells you about the upgraded version has super low res small text.

It is a more familiar format that is easier to find and exit. You should take notes from other menu bar apps and have an option at the bottom of the app or maybe with a ⌘ click that will allow us to change the preferences, which open in a full size window that you can close. After I bought the subscription I could change settings, but I couldn't get back to the main app until I quit it.

When I downloaded this app, there was no way for me to access the settings until I bought the subscription. Or if you're especially insane, you can develop your own logic symbol keyboard utility.This app is great as a shortcut finder & saver, but it has some major flaws with the setup process that make it frustrating to use. On Windows, you may need to switch the font to Arial Unicode. To avoid the Private Use function in new Word documents just always use the W Windows Character Map and Mac Character Palette. The use of proper Unicode versus an older format does have a real world impact. The ones I had inserted properly converted, but not the ones inserted with the Word Symbol tool. The way I first noticed that the logic symbols weren't standard Unicode was that some logic symbols did not 'convert' well to HTML in Course Genie but mysteriously became things like '('. But these days, more and more documents are actually destined for the Web or some other format.and not all tools recognize the Microsoft Private Use codes. If all you're doing is using with Word, the Insert Symbol tool may still be working for you.

The Private Use set-up undoubtedly prevents a lot older documents from breaking. You'll notice that the font in the graphic is set to ' Symbol' which is an older pre-Unicode font which was used to insert lots of special mathematical symbols. For instance, when I tried to insert the character ∩ (union) into a document, I noticed that the Insert Symbol palette gave a code point of U+F0C7 instead of the expected U+2229, and yes the U+F0 code is a sign that you are in the Private Use Area.įirst I should say that there is a rationale for this. Like the Windows Character Map and Mac Character Palette, the Insert Symbol tool lets you insert single characters into a document so you can change 'P implies Q' to the logical formulation P ⊃ Q or P → Q depending on your symbolism (and you can also switch between 'P and Q,' P & Q or P ∧ Q).īut.unlike the Windows Character Map/Mac Character Palette, the Insert Symbol tool can take you on a little detour out of standard Unicode and into the Microsoft Private Use Area block - or the block where vendors can define their own characters. As I said last entry, I'm working on a symbolic logic course and am learning new quirks for dealing with with Unicode logic symbols.and one of them apparently is the Microsoft Word Insert Symbol tool (this is found by going to Insert » Symbol in most versions of Word.

Propositional logic shortcuts on a mac