In the f$T+g or f$TYPEDADDRESS ONg state the @ operator, when applied to a variable, returns a result of type ^T, if the type of the variable is T. In the f$T-g state, the result is always an untyped pointer, which is assignment compatible with all other pointer types.