<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-2022-JP"
http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Hello,<br>
<br>
This was a bug. I also have it on 5.3.3 / winXP 32bits, <br>
but no longer with 5.4.0a / winXP 32bits :<br>
<br>
<pre><small><font face="Courier New, Courier, monospace">-->txt="\\theta", msprintf(txt)</font></small></pre>
<pre><small><font face="Courier New, Courier, monospace"> txt =</font></small></pre>
<pre><small><font face="Courier New, Courier, monospace"> \\theta </font></small></pre>
<pre><small><font face="Courier New, Courier, monospace"> ans =</font></small></pre>
<pre><small><font face="Courier New, Courier, monospace"> \theta </font></small></pre>
<br>
<br>
Samuel<br>
<br>
</body>
</html>