<html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> </head> <body text="#000000" bgcolor="#FFFFFF"> Hi, When using the font "WenQuanYi Zen Hei Sharp Regular.ttf" in the DrGeo bundle, I observe overlarge assignment arrow. I guess it is a coincidence between this font and the recent discussion/change related to assignment symbol. Any idea for a workaround (beside using :=) <img moz-do-not-send="false" src="cid:part1.ytvOYA8G.sGJmSR9Y@free.fr" alt="arrow" width="358" height="322"> PS: I can now build fine DrGeo bundle. I will make a release before end of year. <pre class="moz-signature" cols="72">-- GNU Dr. Geo <a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a> <a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre> </body> </html>