can we modify the arrowheads as below?
I looked to modify commands in the graphics-drd.scm file but couldn’t find it.
This may not be possible.
Thanks for any help you may have.
Have a look at
src/Typeset/Env/env_semantics.cpp. There you can see that the environment variables
arrow-height control the geometry of the arrows.
They don’t seem to be accessible from the interface, though. You can, however, create a
<with|arrow-length|30ln|> tag (or similar) and paste the graphics inside it.
It’s not very convenient but it works very well.
Thanks for your help.
Apparently this is on the wishlist since 2014