BTW, ddox cleanly has some problem with this symbol:

https://yshui.gitlab.io/sdpc/sdpc/parsers/skip_whitespace.html

Reply via email to