Q: What would you call an F5 with a major 7? Will F5maj7 do?
A: sure. i'd personally rather say that, than Fmaj7no3. the way you suggested is more concise and i think perfectly legible at least for me