疑似コードで上矢印（）はどういう意味ですか？

私は見晴らしの良いポイントツリーを学んでおり、Peter Yianilosによる論文「Data Structures and Algorithms for Nearest Neighbor Search in General Metric Spaces in General Metric Spaces（Proceedings of SODA 1993、SIAM、pages 311–321; PDF）」を読んでいる間にこれに出会いました。次の疑似コードがアルゴリズム1に表示されます。

$$\begin{align*} \hspace{2em}&\hspace{-2em} \textbf{function}\text{ Make_vp_tree(}S\text{)}\\ &\textbf{if }S=\emptyset\textbf{ then return }\emptyset\\ &\text{new(node);}\\ &\text{node}\!\uparrow\!\!\text{.p} := \text{Select_vp(}S\text{);}\\ &\text{node}\!\uparrow\!\!\text{.mu} := \text{Median}_{s\in S}\, d(p,s);\\ &\dotsc \end{align*}$$

nodevp-treeのノードなので、私は何をnode.p意味するのか知っていますが、このコンテキストで上向き矢印は何を意味しますか？

リンク先の論文のアルゴリズムは、Pascalとよく似た表記法で記述されています。Pascalは、非常に特殊な方法でポインターを処理する言語です。Pascalでは、ポインタは特定の型の値への参照として宣言されます（たとえば、整数へのポインタはブール値を参照することはできません）。

上向きの矢印は、再現する例では逆参照演算子です。明らかに、nodeあるポインタうち、レコードタイプ（ないレコード自体）の値pとmuフィールドであるので、node.p全く意味がありません。

詳細については、この同様の質問を確認してください。