Re: Unicode Character key-in problem
-----BEGIN PGP SIGNED MESSAGE-----
On Sat, Sep 04, 2010 at 08:49:06PM +0200, Daniel Baumann wrote:
> On 09/04/2010 08:30 PM, Thomas Vazhappilly wrote:
> > Is there a ditto input method in Debian Gnu/Linux?
> personally, i have no idea.
Granted it's off-topic for this list, but since the question is there,
at least I'll try a half-answer: in Linux it's not considered the job of
the operating system, but of a layer quite further above than that.
Typically, it's something the desktop environment takes care of.
That said, there is an input method that luckily is taking precedence in
desktop environments: press shift+ctrl+u, then the hexadecimal code for
your Unicode character (e.g. 2203 for ∃ -- finish off with space or
See <http://www.cl.cam.ac.uk/~mgk25/unicode.html> (a freat resource,
albeit not the most modern) or <https://help.ubuntu.com/community/ComposeKey>
- -- tomás
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
-----END PGP SIGNATURE-----