Просто для удобства и более чистого синтаксиса в КП разрешается опускать ^

Так что это операция "копирование строк по указателю".

## Код:
```
VAR s: POINTER TO ARRAY [untagged] OF CHAR;
t: POINTER TO ARRAY OF CHAR;
s := "Почему это работает?!"; (* Копирование литерала-строки в буфер s *)
s := t^; (* Копирование строки по указателю t в буфер s *)
```

В данном случае это опасные присваивания — ведь размер буфера s может быть неизвестен, длина его нигде не хранится, ибо[untagged]для массива это тег, обозначающий, что это не Оберон-массив с хранимой длиной, а просто указатель на низкоуровневый буфер в памяти (в духе строк в Си).