Re: P1788: Our first formal motion has entered its discussion period
On 2009-01-20 14:06:57 +0100, Sylvain Pion wrote:
> I think the notation we adopt should be "Unicode-friendly".
+1
> Some links :
>
> "Unicode Entity Codes for Math" lists the basic set of current math symbols:
> http://tlt.its.psu.edu/suggestions/international/bylanguage/mathchart.html
I'd rather point to the official source:
http://www.unicode.org/charts/symbols.html
> Browsing through the proposal, I only spotted the following three symbols
> which are missing :
>
> \mathbb{I} and \mathbb{K}
3?
\mathbb{I} and \mathbb{K} are both in Unicode: U+1D540 and U+1D542.
See <http://www.unicode.org/charts/PDF/U1D400.pdf>.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)