And if so, maybe this suggests a less confusing name for TeXmacs such as “ExactWriter”, “ExactEdit”, “FlawlessWriter”, etc.?
And if so, maybe this suggests a less confusing name for TeXmacs such as “ExactWriter”, “ExactEdit”, “FlawlessWriter”, etc.?