type identyfikator_typu = ^identyfikator_typu_bazowego;gdzie identyfikator_typu_bazowego określa typ, którego dane będą wskazywane przez wskaźnik. Identyfikator ten może, ale nie musi być wcześniej określony. W drugim przypadku konieczne jest jego określenie w tej samej części definiującej typy, w której występuje definicja odnośnego typu wskaźnikowego.
type wskaznik = ^zapis; zapis = record naglowek : Char; tekst : String [50]; liczba : Integer; end;Definicja ta wiąże typ wskaznik ze zbiorem wskazań danych typu zapis. Jeśli wprowadzimy teraz deklarację:
var adres : wskaznik;to zmiennej wskaźnikowej adres będą mogły być w programie przypisywane adresy pamięci danych typu zapis.