On 7/5/07, Bryan Tong Minh bryan.tongminh@gmail.com wrote:
On 7/5/07, Platonides Platonides@gmail.com wrote:
Also a bad choose for escaping from URLs, as it's quite common. What about ¬ ?
How do I type that?
Depends on your keyboard setup and possibly operating system. In Windows it's typically Alt-0172, numbers from the Num Pad with Num Lock on (or maybe it's off, I forget). In Gnome you do Ctrl-Shift-uAC. There are probably, however, keyboard setups for which it's possible to get it by just hitting a key normally.