@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
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@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 SysPref.app/Keyboard/Keyboard tab/Tick Show Keyboard and Character Viewers in menu bar
@saniul That worked. Thanks!
@paulg You can draw the symbol and get character suggestions: http://shapecatcher.com/
@paulg On a Mac if you do ctrl-cmd-space thing you can search by the name of the character.
@paulg On a Mac, you can use the Character Viewer, which supports search, favorites, and recently used characters:pic.twitter.com/geW7xPxpoO
@paulg Add it to your menu bar in Keyboard Preferences.
@paulg Use detexify: http://detexify.kirelabs.org
@paulg draw them? haha http://shapecatcher.com/
@paulg on Mac, you can set opt+v to type ∀. http://xahlee.info/kbd/osx_keybinding.html …, if emacs, can use abbrev. http://ergoemacs.org/emacs/emacs_abbrev_mode.html …
@paulg on OS X Mavericks+: ctrl+cmd+space, search for "for all"
@paulg Use LaTeX?
@paulg On Mac OS X, ctrl+cmd+space opens up the character viewer. You can search there by scrolling up.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.