Richard Jones wrote:
> In fact can we open the discussion about converting OCaml source files
> into UTF-8 and allow _lots_ more symbols?  eg:
> 
>   let (∪) = ...
>   let (⊆) = ...

Shouldn't this desire of using mathematical symbols be addressed at the 
level of your editor / IDE instead?  If the language allowed you to 
define and use alphanumeric infix operators like:

   let (`subseteq`) = ...
   if (x `subseteq` y) then ...

then you could simply inform your editor that it should display 
`subseteq` as ⊆. The tuareg mode already does this kind of 
"symbolification" of some operators like -> (displayed as an arrow) and 
'a (display as a Greek alpha) and it shouldn't be too difficult to 
extend that to user-defined operators.

-- Alain