Is there a better way to generate characters like ∀ than by searching Google for "unicode universal quantifier" and copying?
-
@paulg OS X has a character viewer, which is sometimes easier. You have to add the it to your menu bar though.pic.twitter.com/9tYEfFwUv5
@noahlt In OSX 10.9.5 it doesn't show up in System Preferences>Keyboard>Input Sources. Any guess where it might be?
-
-
@paulg some apps' have a Special Characters option in the Edit menu, with the Option-Command-T shortcutThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@paulg ah, it is counterintuitive: in Input Sources, you have to check the "Show Input menu in menu bar"pic.twitter.com/QEwuiNYX9U
-
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.