Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character

2015-10-02 Thread Oliver Heimlich
On 03.10.2015 00:12, Karl Berry wrote: > \DeclareUnicodeCharacter{00A0}{\ } > > FWIW, A0 is supposed to be a no-break space. That's \tie, not "\ ". > > \DeclareUnicodeCharacter{03C0}{$\pi$} > > Can you please send me your list of added characters? I know well that > many math character

Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character

2015-10-02 Thread Karl Berry
\DeclareUnicodeCharacter{00A0}{\ } FWIW, A0 is supposed to be a no-break space. That's \tie, not "\ ". \DeclareUnicodeCharacter{03C0}{$\pi$} Can you please send me your list of added characters? I know well that many math characters are missing, and I'd like to add them. (Except, bett

Re: The defaults for Info

2015-10-02 Thread Karl Berry
Actually, the "File:" and "Node:" parts are redundant: they also appear in the mode line. I am well aware of that (obviously). However, even though it is redundant, the the top of the screen and the bottom of the screen are two different things. I find having the basic info useful in bot