Known Issues

Well, not many:

  • the arrows (e.g. translating <- to ←) does not work well in HTML documents; one would probably have to translate '&lt;-' to '←'. But, I mean, who writes like '&lt;-'?