From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Arne Babenhauserheide Newsgroups: gmane.lisp.guile.devel Subject: Re: Unicode procedure names Date: Tue, 16 Jul 2019 15:18:42 +0200 Message-ID: <87zhleglsd.fsf@web.de> References: <98be61278a0887f6bcfff91d22cc8e30bba9d68a.camel@posteo.cz> <87y30zgfuc.fsf@elephly.net> <8736j6g8jc.fsf@web.de> <87v9w2gnj6.fsf@elephly.net> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="77835"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: mu4e 1.2.0; emacs 26.2 Cc: Tirifto , guile-devel@gnu.org To: Hans =?utf-8?Q?=C3=85berg?= Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Jul 16 15:19:16 2019 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hnNMR-000K5H-CZ for guile-devel@m.gmane.org; Tue, 16 Jul 2019 15:19:15 +0200 Original-Received: from localhost ([::1]:48788 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hnNMP-0007FN-OL for guile-devel@m.gmane.org; Tue, 16 Jul 2019 09:19:13 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:48287) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hnNML-0007FG-E3 for guile-devel@gnu.org; Tue, 16 Jul 2019 09:19:10 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hnNMH-0003xI-Lu for guile-devel@gnu.org; Tue, 16 Jul 2019 09:19:07 -0400 Original-Received: from mout.web.de ([212.227.17.12]:58965) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hnNMD-0003nA-Lc for guile-devel@gnu.org; Tue, 16 Jul 2019 09:19:04 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1563283126; bh=jJkls4iOkUGzSMWCNXFaQrEJuoCvn6EZMkGs0thURRs=; h=X-UI-Sender-Class:References:From:To:Cc:Subject:In-reply-to:Date; b=nBjEEohuAkr8tlMpnesRqTp6BtH0DgDYWPNpfsiZ2cV4sBKInwx2AN+mMfWktl0id GSWDXaaggOBIGqaQp3dijHr8+HiedX+zr/FFu9whwWmZWHUaiQ6hd3oV2YSBJPBsK/ fRBW2/LGhAVcAbVy6lX0SoOI3SPyuLlwUB9zwRXU= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Original-Received: from fluss ([84.149.83.171]) by smtp.web.de (mrweb102 [213.165.67.124]) with ESMTPSA (Nemesis) id 0M4I6Z-1ieEvF0QHz-00rmD3; Tue, 16 Jul 2019 15:18:46 +0200 In-reply-to: X-Provags-ID: V03:K1:o6iZZHO0bmaAq8ZHKeDgUdsqhgLbDHZEORs81YzwtGJEpr+euMr kNRWuFcPRGBCpxtctTc/nDJCoOyxDsEwe0zcLCm2b6xS6nm46FMPLGbU/g81EJKvR4Rnngj CXpiGIDWuVdNN1tiXrdNXE9R0VyJSMZF1QAugwFBmYSnbRnG1mISoCG4kXxJmOxvYHPPHSB 2/BcPULkegAzWsnZVEyJw== X-UI-Out-Filterresults: notjunk:1;V03:K0:xq/I4qUfZjQ=:LOe66OxzPMSIffFXAJAXvH Zf3VVZmC2SxL2ZUS+uXTffq+DuYNMCJEFTIVTxWrhvRQbCNyHJ+xbZ2ytqBDRuEMUz5X2Nk/Z q+lIkz76sMXyIPZ4mij6epi9ijjVki1rItleV+3aWa2zZeVsQxMGFeJSgDjxuVwB8puHC57uu gyDcyjf1u8umsF4zbhriijGYszT/IT0MtI4kb2f/d/plRTtrLJ6pj+cSGK0F2jbcLsmFzvtl+ Nru/EXZt72AkIFArBLBJaHHlf+xaUmeIx1qEXBrXexL/xIhC+YgRovw2diZu6HSwEjw/yP+vd duXV6FwECsReV6shG7Rys6DjohqkE+PIL65Vt5eUybJQ9WHRQCDxB2JlkukLvhD1fOiFVnKr2 dpUVqFL7UWTpgi8lHASOpa5Rm4RR3nVPjRyIfOGJ43IZZtpwF+ArV3B4DpHmhxkj2x0feWPp/ y9LWx0nPPtuJiAhZ52H7r8AF4k6CqmUS0t1vRlCXnDVxlgApD8XZn2ItdzqTw3eR+en2Whj8x 3+XV2m105PGEs4PdRxqtMB0AR9h4s7COLoGknJQl+OlRdlOgNevYNuNv6eY/MR1B4L2417GW7 g6SV6pQRMpYRDfoCXS2D2PzDhl+GCX2d+gTDv0XzxH/08+5nZfo9615d0Uug4YTxY+kvid66G hqOw= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.17.12 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.org gmane.lisp.guile.devel:20011 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hans =C3=85berg writes: >>>>> Now, I don't know if this is something you think would be nice to have >>>>> baked into Guile, but I really liked the idea, and thought to share it >>>>> in the case you would, too (and have't thought of it yet). :) >>> (define =E2=89=A5 >=3D) > I have used such symbols for math for some time now, and I think it helps= readability. > > The quickest input method that I have found, both to create and use, is t= ext substitutions, like Emacs abbrevs, though I use a MacOS service. I=E2=80=99m using a variant of the neo-layout: https://neo-layout.org/ With that I can directly input many math and greek symbols (see "Ebene 6"). Best wishes, Arne =2D-=20 Unpolitisch sein hei=C3=9Ft politisch sein ohne es zu merken --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE801qEjXQSQPNItXAE++NRSQDw+sFAl0tzrQACgkQE++NRSQD w+ugbQ/9EkzCiVQhqKqCuUa/kCNOWw/DwckXoOYrCK/hFS9nG2NsderWLSKPna5e 0TUneMUeVGe29ga170BYZGRSNaBhp37FxLcG8/GYl6aKcQInOAICxp3Mg7ik3xln nd5N32Y7qq4/orw7bXfXu9KrRdY6sShhdvn5P9Iv3pjbbs2CycmannfrO47wPgzb Rc2g783OCfEhWzMHMasSA1M20rGinxPPmg+Y4ttDLBXyDOV7NyD44dbaqQME3plH zz2FMhf47+AFbKlP+ZFK17XHdi+OwOrFuG5T/XszIcgMYkzoaG1/qWUZ2GK1LoHi dw261KvVkBvvbh4eaJXauNldgbS8EUrip+upmatkh1rNm2ebnURPZf5PPDw5j+GH 3InnH3TZCw04/618khknznDt9R1fgsACIFVEq9MUizEG/5UDikP6UM5iNOqnqW2d qazLnLEl4CY38JcVPLCSbCl+7JUfFh7TugD62eholYMGOThxXuGPIkjY3l1h/Qzt CM6HZiH3LU3tnvIim/qfU5JKRo/orpQkQqCsVBjsq6o1glh24koe67BZT/fSSzDp i3Cz99rWiikgfsioi/He7K+nFu2+jZD1de1MHi3Lf0qN3y5pk2OIrDMqhTFau2DV SmAaTwQm24pkOH5Wg496QxS6Pw+e6TUHSdMUROQAFl/yp0eGUF+IswQBAQgAHRYh BN0ovebZh1yrzkqLHdzPDbMLwQVIBQJdLc60AAoJENzPDbMLwQVINh0D/jqKw5Wn MK2tcMDzwLliw9ILhNQQ46T0Q9uhebqq31JzChwacQ0uCkPZ59SqUxFAloaHH0Y3 dIHmFTiGHYairJ0yy9VIKmrF0SSZq98AChNyFYcX63WmL0wZJ2De8Y21UOvAYCYW 8QqJdWhjBglzQj8+m0CNaSaLLJ8I06pgSR4E =mDKG -----END PGP SIGNATURE----- --=-=-=--