See the documentation here: https://docs.mendix.com/refguide/parse-and-format-date-function-calls/
So in your case use formatDateTimeUTC($yourdate, ‘E dd M yyyy’)
Regards,
Ronald