Dear All

I would like to have something like an "underbracketed_right_arrow". Is
is possible?

Thank you a lot in advance!

Paul

Reply via email to