DISQUS

Detexify Blog: Symbols added

  • 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.