Re: P1788: Our first formal motion has entered its discussion period

[Sylvain Pion <Sylvain.Pion@xxxxxxxxxxxxxxx>]

Vincent Lefevre wrote:
> 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?

The third was the square (the following paragraph in my mail).
Sorry for the misleading mail formatting.

> \mathbb{I} and \mathbb{K} are both in Unicode: U+1D540 and U+1D542.
> See <http://www.unicode.org/charts/PDF/U1D400.pdf>.

OK, great.  Thank you Vincent for confirming.

--
Sylvain Pion
INRIA Sophia-Antipolis
Geometrica Project-Team
CGAL, http://cgal.org/

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature