Move vertical line with dot

[erwindenboer]

Hello,

For an explainer for differentiation, I want to have a vertical line move with the dot. However, I can't seem to find how to get it to move with the dot. Can someone explain how I can move the vertical line with the dot?
test.txt

Thank you!

Begin.mp4