Mirror symbols/flip symblos left and right

#1

Following other’s notation, I need to use a mirrored version of S as a quantifier like in the screenshot below.
image
I wonder how to get it in TeXmacs and flip the symbols left and right in general. I appreciate any help you can provide.

#2

You can try

<dilate|-1|1|S>

(copy it from here and then paste it in TeXmacs as “Paste from TeXmacs”).

3 Likes