What hold me back was indeed Excalidraw. I am a little bit of a visual thinker and im really striving in doing proofs with a canvas connecting my notes
While I don’t personally have experience with that, I think you might be interested in Sacha Chua’s work, configuration, and perspective. I’m always impressed at how she integrated drawn things into an Emacs workflow.
Personally, while I have occasionally had times where I have wanted to write or diagram things and thus resorted to paper (normally when figuring out some complex thing that I don’t even know how to turn into words yet) and then transferring into Emacs once I understand it better, I have found that that occurs less and less as I improve my Emacs configuration.
My point is that I have found that, at least for me, the thing I was looking for is not “more visual”, but rather more intuitive for expressing the thought I am working with. Because what I’m looking for is not inherently visual or otherwise something outside the realm of text, I’ve found that exploring new ways to manipulate text often does exactly what I want.
For instance, you saind something about proofs (and I don’t know if you mean mathematical ones or not yet), but math is a prime example of something I used to always do best on paper. I would always solve things on paper. As I began to improve my LaTeX entry stuff using TempEl templates and Org-CDLaTeX I started to find some of the writing became more natural and quick in Emacs, but still actual solving often felt better on a physical paper. Finally, the thing that revolutionized that last bit was setting up (and ironing kinks out of) Calc’s embedded mode. I still don’t have it perfect, but this is when Emacs became a proper math-problem work-book for me. Now I can type math manipulate it symbolically, solve and simplify things, and show all of my work in Emacs and it is fast and powerful enough that I can use it. My notes are now integrated with a calculator, stored digitally, I never need to copy things to show incremental steps, and I can easily store values, go back, and do things that I never could have done with a typical written workflow.
There was a similar thing for non-linear notes (the kind that thinking things out and taking notes from a poorly designed course make). They used to be the times when I would have trouble with Emacs and the way I was taking notes. Now I made a custom refiling thing that lets me take notes and instantly send them to where they belong anywhere on the page and I used org-glossary and some other things that help me manage things that aren’t well organized enough to have a properly thought out structure (I’m very particular with it and can’t bear to just put it out like other people present things because their ordering is so bad lol).
Overall, I think that you can probably get lots of the visual stuff you want from Emacs (though I don’t personally know how), but I would also say that often thinking about what you are actually trying to achieve and finding a custom solution to that specific problem can often be very rewarding. In my case I have found that when I get or build the right tools for text manipulation, I can get both the spontaneity of physical writing and diagramming along with the power that comes with doing things in text–the ability to use easily interact with it programmatically.
convert my wife to leave Apple then I am all in FOSS
but for the time being I am using my Mac and an iPad.
Might not work, but having Deepin installed (at least for anything she uses lol) might help. It at least looks pretty Appley (don’t use either it or any Apple stuff so I wouldn’t know how deep that goes).