Hacker News Reader

Which format are they using to write/store the notes? Is it another Markdown dialect?

The notes are stored in Y.doc format because we use Yjs for our collaboration server. https://docs.yjs.dev/api/y.doc

And this again is based on prosemirror. So for better math support you would have the option of using https://benrbray.com/prosemirror-math/ .