luigi scarso wrote:
On Fri, May 22, 2009 at 5:51 PM, Arthur Reutenauer < arthur.reutenauer@normalesup.org> wrote:
but instead of arbitrary adding a 0.25em before and 1em after the punctuation mark you should use the real nnbsp (U+202F) before and real normal space (U+0020) after.
I don't think so. Space characters don't mix very well with TeX glue and should best be avoided, generally speaking. In particular, all inter-word spaces that are input in the TeX source as one or more of U+0020 are simply ignored, and replaced by normal inter-word glue, with its appropriate stretchability and shrinkability. This has always been the case in TeX and is not going to change. All other types of Unicode spaces should really, in my opinion, be processed in the same way, while respecting their additional properties in the case of non-breakable spaces, for instance.
Maybe one can use something like this \defineremapper[filterItem] \remapcharacter[filterItem][`•]{\item}
for "spaces" too
as such a remapper is applied on all input eventually you end up in a mess and we don't want a mess ... the current mechanism acts upon the to be typeset text which is way more safe ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------