How can I export MIUI notes?

I'm using a Xiaomi RedMi 3S phone, whose MIUI environment includes a "Notes" app. The app itself does not have an export feature. Can I somehow locate/extract the note data - for all notes - into text files, or some other readable format? Note: I don't know where this data is stored.