For semantic editing, I insert a * for multiplication and the effect is an invisible small space. However, in the example lecture slides by Basile Audoly, each multiplication symbol is displayed as a small blue dot. Is there an option to show/hide the dot?
Show/hide multiplication dot
In fact, there are other invisible symbols such as the space for function application. Multiplication is one of them.
* tab tab tab inserts a dot.
Maybe you have to add your own keyboard shortcut to supersede it with a blue dot (there is lot of info on the manual and the forum on how to add one’s own keyboard shortcuts, please ask if you need more information).
Could you please link to the slides by Basile Audoly? I searched quickly on the Internet and did not find them.
It’s not the real dot produced by * tab tab tab, as I can see from the exported PDF. It’s the invisible multiplication symbol, but somehow in TeXmacs they are shown in pale blue dots, just like the dash for nonbreakable space I can see in my own slides. His slides in in tm-forge/examples/
https://github.com/texmacs/tm-forge
Document → Informative flags, such blue is shown if you select Short, Detailed or Also on paper.
1 Like
There it is! The Detailed option also shows the labels explicitly. Very nice!