From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Francesco Mazzoli Newsgroups: gmane.emacs.help Subject: Re: Look for input method for mathematics letter. Date: Wed, 11 Jul 2012 11:13:43 +0100 Message-ID: <87bojm61wo.wl%f@mazzo.li> References: <87obnne6y9.fsf@desktop.home.int> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (generated by SEMI 1.14.6 - "Maruoka") Content-Type: text/plain; charset=US-ASCII X-Trace: dough.gmane.org 1342001587 19120 80.91.229.3 (11 Jul 2012 10:13:07 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 11 Jul 2012 10:13:07 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Wed Jul 11 12:13:07 2012 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Sotup-00027Y-BX for geh-help-gnu-emacs@m.gmane.org; Wed, 11 Jul 2012 12:13:03 +0200 Original-Received: from localhost ([::1]:59179 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Sotun-0006s9-RA for geh-help-gnu-emacs@m.gmane.org; Wed, 11 Jul 2012 06:13:01 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:49310) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Sotub-0006cx-EF for help-gnu-emacs@gnu.org; Wed, 11 Jul 2012 06:12:55 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SotuV-000787-Es for help-gnu-emacs@gnu.org; Wed, 11 Jul 2012 06:12:49 -0400 Original-Received: from mail-pb0-f41.google.com ([209.85.160.41]:33277) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SotuV-00077B-8d for help-gnu-emacs@gnu.org; Wed, 11 Jul 2012 06:12:43 -0400 Original-Received: by pbbrp2 with SMTP id rp2so2070280pbb.0 for ; Wed, 11 Jul 2012 03:12:40 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=date:message-id:from:to:subject:in-reply-to:references:user-agent :mime-version:content-type:x-gm-message-state; bh=akRbY8ED9wsOziobL4EOwSMgUqDeEuCcgYHYmbbmqPY=; b=NGavPiIGHnw8jU+92MPzqF1Xpp/QAdduJ33jUgBYI9w5k9GljukqN1pm9ymTEwT6In 8NdJnhwEh9eM3Q74Pet4Zhce18Tat4/Dj7TBwqhEW/snIc+Q9rzTKjq+XPRwi+qfhQ3I vkTgzKCD1sYPsKryW4R7EIFJ8cW8Moz3HvPexNdu/PTG8iFxwoixl2IOF/YSgSewJNAt gXV2siP9zlkLUYwVYakBaTkbwz9nYVYppTvQKIKMWWOuY6IuEVwZwWUEjNQ3I4K6H3Cc +T8XgKH20Mi0D5dUFECVCl9HxkwsEtKOtFLw/UhCkWhsvqK8TT47nzyIsoe6BvcXAOgJ HVbg== Original-Received: by 10.68.190.102 with SMTP id gp6mr77398809pbc.5.1342001560422; Wed, 11 Jul 2012 03:12:40 -0700 (PDT) Original-Received: from mcnulty.mazzo.li (li146-81.members.linode.com. [109.74.199.81]) by mx.google.com with ESMTPS id qa5sm1446458pbb.19.2012.07.11.03.12.38 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 11 Jul 2012 03:12:39 -0700 (PDT) In-Reply-To: <87obnne6y9.fsf@desktop.home.int> User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI/1.14.6 (Maruoka) FLIM/1.14.9 (=?UTF-8?B?R29qxY0=?=) APEL/10.8 Emacs/23.3 (x86_64-pc-linux-gnu) MULE/6.0 (HANACHIRUSATO) X-Gm-Message-State: ALoCoQnETNIy0E7p44C9niKo+NbbJf4p3m8bRU0S2/4M2xlMm1oV0THoiPB+dNbJ7JMawwr+d5lf X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 209.85.160.41 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:85784 Archived-At: At Tue, 10 Jul 2012 22:45:18 +0300, Oleksandr Gavenko wrote: > UTF define certain range for especially styled Latin alphabet: > > http://en.wikipedia.org/wiki/Mathematical_alphanumeric_symbols > > How they can be typed in Emacs? agda2-mode comes with a very convenient latex input mode that lets you insert symbols as you would in latex (e.g. \rightarrow - or abbreviated \r). If you don't want to install Agda (which is understandable) I think that this file will work: http://code.haskell.org/Agda/src/data/emacs-mode/agda-input.el . -- Francesco * Often in error, never in doubt