It exports as musicxml or midi is that no good? That’s as portable as I would need.

I so rarely do things with notes and if I do then use musescore but I just thought I’d mention it in case it was useful to someone. I’m sure that those who already have their favourites are already catered for and not the market for this