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
