select ARRAY[1,4,3] @> ARRAY[3,1] gives ERROR: operator does not exist: integer[] @> integer[] ???

Hi all,

  I tried select ARRAY[1,4,3] @> ARRAY[3,1] in pgAdminIII and get an error.
This example comes directly from the postgresql manual section: 9.14. Array
Functions and Operators.

Did I screw up something ?  I tried on a 8.1 postgreql and get the same
error.


ERROR: operator does not exist: integer[] @> integer[]
SQL state: 42883
Hint: No operator matches the given name and argument type(s). You may need
to add explicit type casts.

Thanks to point me what I'm doing wrong or how to fix this :-/

Regards

David