ASCII or Unicode? (was best text editor for programming Python on a Mac)

[Lawrence D’Oliveiro]

On Thursday, June 23, 2016 at 2:02:18 PM UTC+12, Rustom Mody wrote:

> So remembered that there is one method -- yes clunky -- that I use most -- 
> forgot to mention -- C-x 8 RET 
> ie insert-char¹
> 
> Which takes the name (or hex) of the unicode char.

A handy tool for looking up names and codes is the unicode(1) command <https://packages.debian.org/jessie/unicode>.