From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Stefan Kangas Newsgroups: gmane.emacs.bugs Subject: bug#21103: 24.5; LaTeX input mode: add more blackboard bold characters Date: Mon, 20 Jan 2020 21:41:30 +0100 Message-ID: <87pnfdq2rp.fsf@marxist.se> References: <87lhe9oiku.fsf@snout.igpm.rwth-aachen.de> <87oab7vkb8.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="66020"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: 21103@debbugs.gnu.org, Ansgar Burchardt To: Lars Ingebrigtsen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Jan 20 21:42:26 2020 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1itdsO-000H6H-RC for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 20 Jan 2020 21:42:25 +0100 Original-Received: from localhost ([::1]:44006 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1itdsN-0007Bb-Uf for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 20 Jan 2020 15:42:23 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:43979) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1itds5-0006rT-W5 for bug-gnu-emacs@gnu.org; Mon, 20 Jan 2020 15:42:08 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1itds3-0001f6-Ks for bug-gnu-emacs@gnu.org; Mon, 20 Jan 2020 15:42:04 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:40186) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1itds3-0001eu-E5 for bug-gnu-emacs@gnu.org; Mon, 20 Jan 2020 15:42:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1itds2-0004uG-C3 for bug-gnu-emacs@gnu.org; Mon, 20 Jan 2020 15:42:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 20 Jan 2020 20:42:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 21103 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 21103-submit@debbugs.gnu.org id=B21103.157955290718838 (code B ref 21103); Mon, 20 Jan 2020 20:42:02 +0000 Original-Received: (at 21103) by debbugs.gnu.org; 20 Jan 2020 20:41:47 +0000 Original-Received: from localhost ([127.0.0.1]:46158 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itdrj-0004th-S4 for submit@debbugs.gnu.org; Mon, 20 Jan 2020 15:41:47 -0500 Original-Received: from ted.gofardesign.uk ([67.225.143.91]:45190) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itdri-0004tU-CU for 21103@debbugs.gnu.org; Mon, 20 Jan 2020 15:41:43 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=marxist.se; s=default; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Message-ID: Date:References:In-Reply-To:Subject:Cc:To:From:Sender:Reply-To:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=+UwVzSF6OSVNZKu8zXLTS9Fd78FtNPAWeSTNRzAuRM4=; b=YwthUKIt9Nkpsaz3Qwq/WaKrWH DVPjHhsWlk1PSTlknHaiAN/ca9sF2tRPSd0JWrDVuFARiEmyaeJ9AkkXysCHMyv30OPaRlTjzwVT4 IAVHDcYu2K3K1Wp4RE+CKOq3XEvb2W7f8wWYdrxwtE9KWUvXOyOdqJNIbGC3FRLcDb3G0kc2BJtlB bgnR5ebm2T6Af0WAzXvKWWOzwTfIYS4sbV0gsf9PlFW0F49snMKNAOUc0BjkHFQm/ZYoV0lLKK6nV NHR0shuHYuTSeEBsCWe8/4On9BqBINuO4oo3dZd7DTEI5ZDaiG6LcmHhN45bEbzVydzILqUnU9QWV Vu4i1rLA==; Original-Received: from h-70-69.a785.priv.bahnhof.se ([155.4.70.69]:43450 helo=localhost) by ted.gofardesign.uk with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1itdrX-000Gbc-Vg; Mon, 20 Jan 2020 15:41:32 -0500 In-Reply-To: <87oab7vkb8.fsf@gnus.org> (Lars Ingebrigtsen's message of "Tue, 23 Feb 2016 20:37:47 +1100") X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - ted.gofardesign.uk X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - marxist.se X-Get-Message-Sender-Via: ted.gofardesign.uk: authenticated_id: stefan@marxist.se X-Authenticated-Sender: ted.gofardesign.uk: stefan@marxist.se X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:174958 Archived-At: Lars Ingebrigtsen writes: > Ansgar Burchardt writes: > >> I miss at least =E2=84=82 (field of complex numbers), =F0=9D=94=BD (gene= ric field), =F0=9D=95=82 >> (generic field, German), =E2=84=8D (quaternions), =F0=9D=95=80 (identity= map), =E2=84=9A (field of >> rational numbers), =E2=84=A4 (ring of integers). Others might miss a few= more >> that are in common use, see [1]. >> >> The attached patch adds all blackboard bold capital characters and "1" >> and "2" using the codepoints from the referenced Wikipedia article. > > [...] > >> This patch adds all capital blackboard bold letters and those for "1" >> and "2". Most characters are in common use in mathematics, but it does >> not seem useful to exclude the few not widely used. > > It does seem more consistent to add them all, yes... > >> - ("\\Bbb{N}" ?=E2=84=95) ; AMS commands for blackboard bold >> - ("\\Bbb{P}" ?=E2=84=99) ; Also sometimes \mathbb. >> + ("\\Bbb{A}" ?=F0=9D=94=B8) ; AMS commands for blackboard bold >> + ("\\Bbb{B}" ?=F0=9D=94=B9) ; Also sometimes \mathbb. >> + ("\\Bbb{C}" ?=E2=84=82) >> + ("\\Bbb{D}" ?=F0=9D=94=BB) >> + ("\\Bbb{E}" ?=F0=9D=94=BC) >> + ("\\Bbb{F}" ?=F0=9D=94=BD) >> + ("\\Bbb{G}" ?=F0=9D=94=BE) >> + ("\\Bbb{H}" ?=E2=84=8D) > > (etc) > > A question to the other Emacs maintainers -- would a change like this, > which is more than 15 lines, require a copyright assignment? It's not > very "code-ey"... I searched online, and found the following: https://www.copyright.gov/circs/circ33.pdf Familiar symbols and designs, or a simple combination of a few familiar= symbols or designs, are=20 uncopyrightable and cannot be registered with the Office. However, a wo= rk of authorship that=20 incorporates one or more familiar symbols or designs into a larger desi= gn may be registered if the=20 work as a whole contains a sufficient amount of creative expression. =20=20=20=20 Examples of familiar symbols and designs include but are not limited to =E2=80=A2 Letters, punctuation, or symbols on a keyboard =E2=80=A2 Abbreviations =E2=80=A2 Musical notation =E2=80=A2 Numbers and mathematical and currency symbols =E2=80=A2 Arrows and other directional or navigational symbols =E2=80=A2 Common symbols and shapes, such as a spade, club, heart, diam= ond, star, yin yang, or=20=20 fleur de lys =E2=80=A2 Common patterns, such as standard chevron, polka dot, checker= board, or houndstooth =E2=80=A2 Well-known and commonly used symbols that contain a minimal a= mount of expression or=20=20 are in the public domain, such as the peace symbol, gender symbols, o= r simple emoticons =E2=80=A2 Industry designs, such as the caduceus, barber pole, food lab= eling symbols, or hazard=20 warning symbols =E2=80=A2 Familiar religious symbols =E2=80=A2 Common architecture moldings Given the above, I think this is fine to install with the Copyright-paperwork-exempt tag. We could perhaps contact assign@gnu.org if we feel unsure about this, to hear what they have to say. Does anyone think we should do that first, or have any other comments? Otherwise, I think we should just install it. Best regards, Stefan Kangas