17 Apr
2013
17 Apr
'13
3:30 p.m.
Hi Hans,
These commands are good to know!
On Wed, 17 Apr 2013 07:16:41 -0600, Hans Hagen
\narrownobreakspace
If a font does not have U+202F defined, what's the best way to redefine this to, say, one half of the current font's regular space U+0020 (with no shrinking or stretching of course). Best wishes Idris -- Professor Idris Samawi Hamid Department of Philosophy Colorado State University Fort Collins, CO 80523