2 ms·I believe tex.stackexchange.com is what GP meant by "tex.se", as in "tex.StackExchange"by na85 11y agoI believe tex.stackexchange.com is what GP meant by "tex.se", as in "tex.StackExchange"