DISQUS

Rob · 5 months ago

I saw in the source that \leadsto is commented out -- why?
danishkirel · 4 months ago

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.