• x — любое допустимое имя переменной или функции.

• y — любое допустимое выражение.

• Локальные переменные и функции, определенные с этим оператором, могут содержать значения, заданные в документе. Например, можно задать в документе a := 2, а затем определить локальную переменную b ← a внутри программы.

• При локальном определении функции нет необходимости включать в определение список аргументов. Например, можно определить функцию как f(x) ← g(x), f ← g, f(x) ← h(x, 2) или f ← F, где F — массив имен функций.

• Если для локальной переменной выбрано такое же имя, как и для уже определенной в документе переменной или функции, используемой для ее инициализации, программа обращается к значению документа только в первом случае назначения переменной. При всех последующих обращениях к этому имени используется локальное значение, а не глобальное, определенное в документе. Например, если в документе определена функция g(x) := x + 1, и определяется переменная g ← g(2), то все последующие обращения программы к имени g будут использовать локальное определение переменной — число 3, а как имя функции g уже не будет распознаваться.

• Локальная переменная не может быть переменной-диапазоном, даже если ее значением является диапазон. Вместо этого используйте цикл for.

• Глобальную переменную-диапазон можно использовать в определении функции вследствие следующего ограничения: если переменная-диапазон появляется справа от знака присвоения (:=), она должна появиться и слева.