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