From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Amin Bandali Newsgroups: gmane.emacs.help Subject: Re: [OFFTOPIC] Re: Invoking a function from a list of functions Date: Thu, 22 Nov 2018 22:41:16 -0500 Message-ID: <87ftvscvfn.fsf@aminb.org> 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: quoted-printable X-Trace: blaine.gmane.org 1542944400 11319 195.159.176.226 (23 Nov 2018 03:40:00 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 23 Nov 2018 03:40:00 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: help-gnu-emacs@gnu.org To: Stefan Monnier Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Fri Nov 23 04:39:56 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 1gQ2Jv-0002oG-Fr for geh-help-gnu-emacs@m.gmane.org; Fri, 23 Nov 2018 04:39:55 +0100 Original-Received: from localhost ([::1]:50241 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gQ2M1-0000uB-Rh for geh-help-gnu-emacs@m.gmane.org; Thu, 22 Nov 2018 22:42:05 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:35583) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gQ2LV-0000u4-9J for help-gnu-emacs@gnu.org; Thu, 22 Nov 2018 22:41:33 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gQ2LU-000354-NY for help-gnu-emacs@gnu.org; Thu, 22 Nov 2018 22:41:33 -0500 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:35766) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gQ2LF-0002py-Ap; Thu, 22 Nov 2018 22:41:19 -0500 Original-Received: from wn-res-nat-129-97-125-0.dynamic.uwaterloo.ca ([129.97.125.0]:9168 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1gQ2LF-0006i9-4X; Thu, 22 Nov 2018 22:41:17 -0500 In-Reply-To: (Stefan Monnier's message of "Wed, 21 Nov 2018 10:05:25 -0500") X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e 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:118732 Archived-At: > 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. A proper =E2=80=9Cmath=E2=80=9D/=E2=80=9Clogic=E2=80=9D input method would = be awesome. Also, I too find the TeX input method very verbose and much prefer the shorter and easier-to-remember aliases of the Lean/Agda input methods. > 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 "=CE=B2" but > "\beta" isn't rewritten to "=CE=B2eta" then I might even be able to have \ > play both roles without going bonkers. Indeed, I think fixing that would alleviate a major pain point with the default \ prefix. I guess the user then wouldn=E2=80=99t have to also escape the \ itself (by typing it twice) when wanting to write actual TeX commands? -amin