Extracting day of week from timestamp

Hello!

Is there any simple way to get the day of the week i.e. "Mon" from a
timestamp?

The extract() docs do not contain any mention of this conversion...

Thanks,
Garo.