bug#21103: closed (24.5; LaTeX input mode: add more blackboard bold characters)

[GNU bug Tracking System]

Your message dated Fri, 31 Jan 2020 12:23:30 +0200
with message-id <address@hidden>
and subject line Re: bug#21103: 24.5; LaTeX input mode: add more blackboard 
bold characters
has caused the debbugs.gnu.org bug report #21103,
regarding 24.5; LaTeX input mode: add more blackboard bold characters
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
21103: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=21103
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: 24.5; LaTeX input mode: add more blackboard bold characters Date: Tue, 21 Jul 2015 13:28:49 +0200

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
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> 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 <address@hidden>
> > Cc: address@hidden, address@hidden, address@hidden
> > 
> > > Given the above, I think this is fine to install with the
> > > Copyright-paperwork-exempt tag.
> > > 
> > > We could perhaps contact address@hidden 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.
>
>
> --- End Message ---