[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
unicode codepoint for @expansion{}
|
From: |
Patrice Dumas |
|
Subject: |
unicode codepoint for @expansion{} |
|
Date: |
Mon, 13 Aug 2012 00:10:36 +0200 |
|
User-agent: |
Mutt/1.5.20 (2009-12-10) |
Hello,
The current unicode codepoint for expansion is U+2192, but it doesn't
look like the glyph used by TeX. The glyph used by TeX is more like
U+21A6. There is another reason to change it, in my opinion, right now
it is the same as @arrow{}, although it is better to have unique mapping
between copdepoints and @-commands (as far as possible).
Agreed?
--
Pat
- unicode codepoint for @expansion{},
Patrice Dumas <=