Is it possible to use ggplot2 (or plotnine or other grammar of graphics packages) to draw an angle arc between two straight line segments as shown below?
(ignore the circle etc.)
I know that this can be done with graphics programs such as Geogebra. But I am interested in drawing the angle mark (and label) programmatically in Jupyter.
(By the way, is there a word for this "angle arc"? I don't know how to call it, and just used "angle arc".)

