Re: @U{xxxx} -- some TeX characters with a capital don't seem to work

[Benno Schulenberg]

Op  4-07-2017 om 08:26 schreef Gavin Smith:
> On Mon, Jul 03, 2017 at 05:31:14PM +0200, Benno Schulenberg wrote:
> > \DeclareUnicodeCharacter{25A1}{\ensuremath\Box}% 
> > \DeclareUnicodeCharacter{25C7}{\ensuremath\Diamond}% 
> > \DeclareUnicodeCharacter{2A1D}{\ensuremath\Join}%
>
> @Diamond is not defined either, nor is @Join.

So... what that section of texinfo.tex does is: translate a code
to a named texinfo character?  But where are these texi characters
defined?  Because, for example, @U{25B3} works, producing a triangle,
but I can't find @triangle anywhere in texinfo's code?  Where does
it come from?


> There are @diamond and @diamondsuit but I haven't checked if they would be 
> suitable to use for the Unicode character in question.

\diamond is already used for U+22C4 and \diamondsuit for U+2662.

(The character that I actually wanted to insert was U+25C6,
\blackdiamond or \filleddiamond.  But it wasn't defined.  Trying
to replace it, I hit precisely on one that didn't work.)

Benno