>for software that holds important data of yours in its own proprietary format

This seems like an odd description. TeXmacs may be the only implementation of the format, but it seems well-documented and the code is all free software. I don't think I'd call it a proprietary format.