From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.help Subject: Re: [OFFTOPIC] Re: Invoking a function from a list of functions Date: Wed, 21 Nov 2018 10:05:25 -0500 Message-ID: References: <67c4a534-d41c-4736-8839-c2dbbdf7f9c2@googlegroups.com> <2da7504a-8bbf-41b9-993e-a7bacd6c97b2@googlegroups.com> <20181116114002.3ba6bcc8dc1e699ba58e08b8@speakeasy.net> <20181119172358.802ce30c54f2fd20f8c300c4@speakeasy.net> <87sgzwl1fg.fsf@aminb.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1542812642 17927 195.159.176.226 (21 Nov 2018 15:04:02 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 21 Nov 2018 15:04:02 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Wed Nov 21 16:03:58 2018 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gPU2o-0004Y4-6E for geh-help-gnu-emacs@m.gmane.org; Wed, 21 Nov 2018 16:03:58 +0100 Original-Received: from localhost ([::1]:39648 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gPU4u-0002sG-OK for geh-help-gnu-emacs@m.gmane.org; Wed, 21 Nov 2018 10:06:08 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:43147) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gPU4W-0002s8-RE for help-gnu-emacs@gnu.org; Wed, 21 Nov 2018 10:05:46 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gPU4R-0003GW-2q for help-gnu-emacs@gnu.org; Wed, 21 Nov 2018 10:05:44 -0500 Original-Received: from [195.159.176.226] (port=49091 helo=blaine.gmane.org) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gPU4P-0003DF-2k for help-gnu-emacs@gnu.org; Wed, 21 Nov 2018 10:05:39 -0500 Original-Received: from list by blaine.gmane.org with local (Exim 4.84_2) (envelope-from ) id 1gPU2D-0003pK-Mw for help-gnu-emacs@gnu.org; Wed, 21 Nov 2018 16:03:21 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 24 Original-X-Complaints-To: usenet@blaine.gmane.org Cancel-Lock: sha1:ahZqV4VeMM21+nMjnYbu7nqj9rw= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 195.159.176.226 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.21 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" Xref: news.gmane.org gmane.emacs.help:118724 Archived-At: > Same with Lean: lean-mode comes with lean-input which is based on > agda-input with minor changes, and it makes it /super/ convenient > to insert commonly used unicode characters: \a for α, \b for β, > a\1 for a₁, \and for ∧, \|- for ⊢, and hundreds more. I’ve > actually come to like lean-input so much that I’ve set it as my > default-input-method so I can toggle it with C-\ and easily type > unicode symbols whenever and wherever I want. Maybe we should add a "math" input method along the lines of those Agda/Lean input methods. I currently use the TeX input method for such purposes but it tends to be a bit more verbose than I like. > It’s possible to change the input prefix from > backslash to something else to avoid clashes when writing TeX¹. In my experience (using the TeX input method when writing LaTeX), I think the main problem with the clash on \ is that when the LaTeX command I write has a valid prefix in the input method, the input method rewrites that prefix. If we could fix it so that "\b" inputs "β" but "\beta" isn't rewritten to "βeta" then I might even be able to have \ play both roles without going bonkers. Stefan