[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @U{xxxx} -- some TeX characters with a capital don't seem to work
From: |
Benno Schulenberg |
Subject: |
Re: @U{xxxx} -- some TeX characters with a capital don't seem to work |
Date: |
Tue, 4 Jul 2017 10:25:39 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 |
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