¿Qué significa flecha arriba (

Estoy aprendiendo árboles de puntos de vista, y lo supe mientras leía el documento Estructuras de datos y algoritmos para la búsqueda de vecinos más cercanos en espacios métricos generales por Peter Yianilos ( Actas de SODA 1993 , SIAM, páginas 311–321; PDF ). El siguiente pseudocódigo aparece en el Algoritmo 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*}$$

nodees un nodo de vp-tree, así que sé lo que node.psignifica, pero ¿qué significa esa flecha hacia arriba en este contexto?

Los algoritmos en el documento al que se vincula se describen en una notación bastante similar a Pascal, un lenguaje que trata los punteros de una manera muy particular. En Pascal, los punteros se declaran como referencias a valores de tipos específicos (un puntero a un entero nunca puede referirse a un booleano, por ejemplo).

La flecha hacia arriba, en el ejemplo que reproduce, es un operador de desreferenciación. Claramente, nodees un puntero a un valor de un tipo de registro (no un registro en sí mismo), del cual py muson campos, por lo que node.pno tiene sentido.

Consulte esta pregunta similar para obtener más aclaraciones.