I would like to retrieve values from a timestamp field, using to_char and a mask, to force the time returned to be in 24hr format. I have the PostgreSql manual, but there are no details on using format masks.

Can anyone help?