[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#21103: 24.5; LaTeX input mode: add more blackboard bold characters
From: |
Eli Zaretskii |
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@marxist.se>
> Date: Mon, 20 Jan 2020 21:41:30 +0100
> Cc: 21103@debbugs.gnu.org, Ansgar Burchardt <ansgar@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@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