does anybody know about these accidentals?

[Werner LEMBERG]

Folks,


we wonder about the origin of the following two characters:

  𝄲 U+1D132 MUSICAL SYMBOL QUARTER TONE SHARP
  𝄳 U+1D133 MUSICAL SYMBOL QUARTER TONE FLAT

The original proposal to encode them in Unicode is
https://unicode.org/L2/L1998/98045.pdf – alas, the contained scans
don't cover those two characters, and I don't have access to the cited
books.

We can't remember having them ever seen in the wild.  Of course, there
is a difference between using musical symbols in a score and in the
text block of a book, but still...

BTW, the Standard Music Font Layout (SMuFL,
https://w3c.github.io/smufl/latest/index.html) lists them in the
section 'other accidentals' as U+E47E and U+E47F, in case this
matters.

And to broaden the question I wonder whether there exists a database
that gives references, sources, andd explanatory comments to each and
every Unicode character, and which can be accessed publicly.


    Werner