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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 21103 in the body.
You can then email your comments to 21103 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Ansgar Burchardt <ansgar <at> 43-1.org>
To: bug-gnu-emacs <at> gnu.org
Subject: 24.5; LaTeX input mode: add more blackboard bold characters
Date: Tue, 21 Jul 2015 13:28:49 +0200

[Message part 1 (text/plain, inline)]

1. Enable LaTeX input mode: C-\ "TeX" RETURN
2. Typing \Bbb{R} should now result in ℝ,
   but (for example) \Bbb{C} does not result in ℂ.

I miss at least ℂ (field of complex numbers), 𝔽 (generic field), 𝕂
(generic field, German), ℍ (quaternions), 𝕀 (identity map), ℚ (field of
rational numbers), ℤ (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.

Ansgar

  [1] <https://en.wikipedia.org/wiki/Blackboard_bold>

In GNU Emacs 24.5.1 (x86_64-pc-linux-gnu, GTK+ Version 3.16.4)
 of 2015-06-28 on trouble, modified by Debian
Windowing system distributor `The X.Org Foundation', version 11.0.11701000
System Description:	Debian GNU/Linux testing (stretch)

[0001-Add-more-blackboard-bold-characters.patch (text/x-diff, attachment)]

Message #8 received at 21103 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Ansgar Burchardt <ansgar <at> 43-1.org>
Cc: 21103 <at> debbugs.gnu.org
Subject: Re: bug#21103: 24.5;
 LaTeX input mode: add more blackboard bold characters
Date: Tue, 23 Feb 2016 20:37:47 +1100

Ansgar Burchardt <ansgar <at> 43-1.org> writes:

> I miss at least ℂ (field of complex numbers), 𝔽 (generic field), 𝕂
> (generic field, German), ℍ (quaternions), 𝕀 (identity map), ℚ (field of
> rational numbers), ℤ (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}" ?ℕ)			; 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"...

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Message #11 received at 21103 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Kangas <stefan <at> marxist.se>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 21103 <at> debbugs.gnu.org, Ansgar Burchardt <ansgar <at> 43-1.org>
Subject: Re: bug#21103: 24.5; LaTeX input mode: add more blackboard bold
 characters
Date: Mon, 20 Jan 2020 21:41:30 +0100

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> Ansgar Burchardt <ansgar <at> 43-1.org> writes:
>
>> I miss at least ℂ (field of complex numbers), 𝔽 (generic field), 𝕂
>> (generic field, German), ℍ (quaternions), 𝕀 (identity map), ℚ (field of
>> rational numbers), ℤ (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}" ?ℕ)			; 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.

Best regards,
Stefan Kangas

Message #14 received at 21103 <at> debbugs.gnu.org (full text, mbox):

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: Re: 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

Message #19 received at 21103-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: stefan <at> marxist.se
Cc: 21103-done <at> debbugs.gnu.org, larsi <at> gnus.org, ansgar <at> 43-1.org, rms <at> gnu.org
Subject: Re: bug#21103: 24.5;
 LaTeX input mode: add more blackboard bold characters
Date: Fri, 31 Jan 2020 12:23:30 +0200

> Date: Tue, 21 Jan 2020 20:18:59 +0200
> From: Eli Zaretskii <eliz <at> gnu.org>
> Cc: 21103 <at> debbugs.gnu.org, larsi <at> gnus.org, ansgar <at> 43-1.org
> 
> > 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

Discussion with Richard indicated that such changes don't need any
copyright assignments, since they introduce code that is not
copyrightable.  So I've pushed this to the emacs-27 branch, and I'm
closing the bug.

Thanks.

Previous Next

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