Good afternoon.
I wanted to take notes on Typst about Iris, and while some operators such as the wand are easy to reproduce, some others I’m struggling with.
In particular, consider the “simple update” operator.
This is defined in the following latex sty file, which makes use of vertical stretching of a => to construct the symbol. However, in Typst, stretch only performs horizontal stretching, not vertical. I have tried to “simulate” this by scaling and stretching negatively, but the issue then becomes the stroke thickness increases.
I was wondering if there was a way to produce the prior symbol, and more generally those defined in the previously linked sty file.
