From: John A. T. <ja...@ja...> - 2010-05-29 13:13:12
|
On Fri, May 28, 2010 at 2:57 PM, Erik Vos <eri...@xs...> wrote: > In hindsight, that extra phase might as well have been called '3+' or '3½' > (not sure if the ½ character would survive CVS; the 1889 ¥ didn't and had > to > be replaced). > As long as your encoding is set properly, it should. However, you can just use \uXXXX to identify the character you want and keep the source totally in ASCII. -- John A. Tamplin |