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: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ansgar Burchardt <ansgar <at> 43-1.org>
Subject: bug#21103: closed (Re: bug#21103: 24.5; LaTeX input mode: add
 more blackboard bold characters)
Date: Fri, 31 Jan 2020 10:25:02 +0000

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

Your bug report

#21103: 24.5; LaTeX input mode: add more blackboard bold characters

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 21103 <at> debbugs.gnu.org.

-- 
21103: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=21103
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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.

[Message part 3 (message/rfc822, inline)]

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 4 (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)]

Previous Next

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