I realize there's probably a simple answer to this question. I come from Ubuntu (Unity) and am used to type unicode symbols with Ctrl+Shift+U, followed by the symbol's code and Enter.
This doesn't seem to work in Mint 17 (Cinnamon). I googled around and didn't find an answer to this.
How do you enter unicode symbols?
terminator
terminal. Thanks, by the way, I didn't know that was possible.