Mir ist klar, dass es wahrscheinlich eine einfache Antwort auf diese Frage gibt. Ich komme aus Ubuntu (Unity) und bin es gewohnt, Unicode-Symbole mit Ctrl+ Shift+ einzugeben U, gefolgt vom Symbolcode und Enter.
Dies scheint in Mint 17 (Zimt) nicht zu funktionieren. Ich googelte herum und fand keine Antwort darauf.
Wie gibt man Unicode-Symbole ein?
terminator
Terminal eingebe. Danke übrigens, ich wusste nicht, dass das möglich ist.