[module.reach] Add $P$ for point P#8713

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

Andreas-Krug:patch-400096Andreas-Krug/draft:patch-400096Copy head branch name to clipboard