- From: David Carlisle <davidc@nag.co.uk>
- Date: Mon, 13 Jan 2014 09:41:53 +0000
- To: www-math@w3.org
On 13/01/2014 07:32, Frédéric WANG wrote: > BTW, U+2032 has rspace=2 while U+0027 has not spacing around it. yes I noticed that, I'm tempted to suggest that all the newly added prime characters have rspace=0 and that 2032 is changed to match? Would that work for you? David
Received on Monday, 13 January 2014 09:42:25 UTC