From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#21103: 24.5; LaTeX input mode: add more blackboard bold characters Date: Tue, 21 Jan 2020 20:18:59 +0200 Message-ID: <83pnfcvfjg.fsf@gnu.org> References: <87lhe9oiku.fsf@snout.igpm.rwth-aachen.de> <87oab7vkb8.fsf@gnus.org> <87pnfdq2rp.fsf@marxist.se> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="117460"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 21103@debbugs.gnu.org, larsi@gnus.org, ansgar@43-1.org To: Stefan Kangas , Richard Stallman Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue Jan 21 19:20:17 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 1ity8P-000UMT-E9 for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 21 Jan 2020 19:20:17 +0100 Original-Received: from localhost ([::1]:59392 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ity8O-0005j1-BG for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 21 Jan 2020 13:20:16 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:53822) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ity8C-0005iu-90 for bug-gnu-emacs@gnu.org; Tue, 21 Jan 2020 13:20:05 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ity8A-0003gN-Tx for bug-gnu-emacs@gnu.org; Tue, 21 Jan 2020 13:20:04 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:42483) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ity8A-0003gF-Qo for bug-gnu-emacs@gnu.org; Tue, 21 Jan 2020 13:20:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ity8A-0002b1-KI for bug-gnu-emacs@gnu.org; Tue, 21 Jan 2020 13:20:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 21 Jan 2020 18:20: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.15796307529862 (code B ref 21103); Tue, 21 Jan 2020 18:20:02 +0000 Original-Received: (at 21103) by debbugs.gnu.org; 21 Jan 2020 18:19:12 +0000 Original-Received: from localhost ([127.0.0.1]:48456 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ity7J-0002Yv-37 for submit@debbugs.gnu.org; Tue, 21 Jan 2020 13:19:12 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:44488) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ity7E-0002YG-C6 for 21103@debbugs.gnu.org; Tue, 21 Jan 2020 13:19:08 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:51336) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ity78-00035M-Mj; Tue, 21 Jan 2020 13:18:58 -0500 Original-Received: from [176.228.60.248] (port=3771 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1ity6z-00083f-Mc; Tue, 21 Jan 2020 13:18:50 -0500 In-reply-to: <87pnfdq2rp.fsf@marxist.se> (message from Stefan Kangas on Mon, 20 Jan 2020 21:41:30 +0100) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] 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:175022 Archived-At: > From: Stefan Kangas > Date: Mon, 20 Jan 2020 21:41:30 +0100 > Cc: 21103@debbugs.gnu.org, Ansgar Burchardt > > >> - ("\\Bbb{N}" ?ℕ) ; AMS commands for blackboard bold > >> - ("\\Bbb{P}" ?ℙ) ; Also sometimes \mathbb. > >> + ("\\Bbb{A}" ?𝔸) ; AMS commands for blackboard bold > >> + ("\\Bbb{B}" ?𝔹) ; Also sometimes \mathbb. > >> + ("\\Bbb{C}" ?ℂ) > >> + ("\\Bbb{D}" ?𝔻) > >> + ("\\Bbb{E}" ?𝔼) > >> + ("\\Bbb{F}" ?𝔽) > >> + ("\\Bbb{G}" ?𝔾) > >> + ("\\Bbb{H}" ?ℍ) > > > > (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 > uncopyrightable and cannot be registered with the Office. However, a work of authorship that > incorporates one or more familiar symbols or designs into a larger design may be registered if the > work as a whole contains a sufficient amount of creative expression. > > Examples of familiar symbols and designs include but are not limited to > • Letters, punctuation, or symbols on a keyboard > • Abbreviations > • Musical notation > • Numbers and mathematical and currency symbols > • Arrows and other directional or navigational symbols > • Common symbols and shapes, such as a spade, club, heart, diamond, star, yin yang, or > fleur de lys > • Common patterns, such as standard chevron, polka dot, checkerboard, or houndstooth > • Well-known and commonly used symbols that contain a minimal amount of expression or > are in the public domain, such as the peace symbol, gender symbols, or simple emoticons > • Industry designs, such as the caduceus, barber pole, food labeling symbols, or hazard > warning symbols > • Familiar religious symbols > • 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. Richard, are there any reasons to be more lenient with this kind of changes, wrt to the maximum number of lines we are allowed to accept without a copyright assignment? The original patch is here: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=21103#5 You can download the patch itself with this URL: https://debbugs.gnu.org/cgi/bugreport.cgi?msg=5;filename=0001-Add-more-blackboard-bold-characters.patch;att=1;bug=21103