GNU bug report logs - #21103
24.5; LaTeX input mode: add more blackboard bold characters

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Stefan Kangas <stefan <at> marxist.se>, Richard Stallman <rms <at> gnu.org>
Cc: 21103 <at> debbugs.gnu.org, larsi <at> gnus.org, ansgar <at> 43-1.org
Subject: bug#21103: 24.5; LaTeX input mode: add more blackboard bold characters
Date: Tue, 21 Jan 2020 20:18:59 +0200

> From: Stefan Kangas <stefan <at> marxist.se>
> Date: Mon, 20 Jan 2020 21:41:30 +0100
> Cc: 21103 <at> debbugs.gnu.org, Ansgar Burchardt <ansgar <at> 43-1.org>
> 
> >> - ("\\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 <at> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.