PostgreSQL/Array/array prepend

array_prepend(1, ARRAY[2,3])

   <source lang="sql">

postgres=# SELECT array_prepend(1, ARRAY[2,3]);

array_prepend

---

[0:2]={1,2,3}

(1 row) postgres=#

      </source>