Wiskundige modus moeilijk te gebruiken met rich text editor

[mcmcclur (Mark McClure)]

@lspector

Am I right that this is just for hiding the mode toggle?

Yes, that’s exactly correct. I described here why that matters to me but it’s arguably more natural to let the user decide in most cases.