Re: [Caml-list] Should a /\ operator be possible?

[Maxence Guesdon <maxence.guesdon@inria.fr>]

On Fri, 2 May 2008 13:54:37 +0200
Daniel Bünzli <daniel.buenzli@erratique.ch> wrote:

> 
> The unicode standard dicusses a syntax for identifiers here [1]. Note  
> that determining if two identifiers are equal needs to invoke the  
> unicode normalization machinery, it is not just a matter of knowing  
> what is a letter and a symbol. That being said, I really don't see  
> unicode identifiers as a must have feature, au contraire.
> 
> Regarding the use of math symbols, I think Alain is right, it should  
> be addressed as a presentation issue. Actually that's the way Fortress  
> [3] handles it, as a rendering issue.

Chamo, the source code editor coming with Cameleon, has such a rendering
feature, and here is an example snippet to use greek letters in the editor:
  http://home.gna.org/cameleon/snippets.en.html
It's up the the user to define his own mapping function between source file
and utf8 text displayed.

Regards,

Maxence