<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<font face="Arial">Hi,<br>
<br>
The symbols documentation page states that<br>
<br>
</font><tt>For historical reasons, different symbols may
represent the same operator:</tt><tt><br>
</tt><tt> { as the same meaning as [</tt><tt><br>
</tt><tt> } as the same meaning as ]</tt><tt><br>
</tt><tt> @ as the same meaning as ~</tt><tt><br>
</tt><tt> ` as the same meaning as <</tt><tt><br>
</tt><tt> It is highly recommended not to use these features because
they will be removed in the future.</tt><tt><br>
</tt><font face="Arial"><br>
But the future is now. Is there any plan to free "@" (instead of
removing it)? Actually, i do not intend to set a liberation
committee for that, but it could be useful for instance as a new
free overloadable binary operator. Free symbols available on all
keyboards and not so numerous. "@" would be a good guy.<br>
<br>
Read you soon<br>
Samuel<br>
<br>
<br>
</font>
</body>
</html>