The symbol I want to type can be found here by typing \reflectbox{$\ddots$}
in latex. Is it possible to type it in TeXMacs?
How to type in the "inverse" of \ddots?
There is a udots
in TeXmacs, type two dots followed by a few Tabs.
1 Like