Dereferenzierungsoperator ^

[JnZn558]

Delphi-Quellcode:

type
  
  ptest = ^test;
  test = record
     a: integer;
  end;

var
   pp: ptest;
   p: test;

   p.a := 3;
   pp := @p;
   writeln(IntToStr( pp.a ) );     // es wundert mich, wieso das hier auch funktioniert.
   writeln(IntToStr( pp^.a ) );    // das hier is der ueblich, den ich kenne.

wieso funktioniert es auch ohne derefenzierung operator? wenn es "einwandfrei" funktioniert, dann kann man wohl auch das ^ wohl weglassen oder?