Your comment intrigued me because I've never heard of syntex. I must say, it's hard to find. Not only is Syntex apparently a commonly used company name, but .

Your comment intrigued me because I've never heard of syntex. I must say, it's hard to find. Not only is Syntex apparently a commonly used company name, but .stx is already used by another markup language, "structured text". The sheer number of lightweight markup languages is truly amazing.