http://detexifyblog.disqus.com/enMon, 17 Aug 2009 03:39:30 -0000http://detexifyblog.kirelabs.org/past/2009/7/18/symbols_added/#comment-14949980<p>Sorry for the late reply. The Disqus comment notifications unfortunately often end up in the spam folder and I have not realized this until recently. I checked \leadsto and found that it is in fact a amssymb arrow. I probably commented it out because I had an error generating the image file. I will correct that. Thanks for pointing it out.</p>danishkirelMon, 17 Aug 2009 03:39:30 -0000http://detexifyblog.kirelabs.org/past/2009/7/18/symbols_added/#comment-13193916<p>I saw in the source that \leadsto is commented out -- why?</p>RobThu, 23 Jul 2009 02:21:45 -0000