In reply to Moeti.

I am glad that you specifically pointed out your interest in mixed case or I likely wouldn't have noticed. You probably already know that the datetime format will print our value in exactly this format, with the exception of the mixed case month. All of the datetime formats that display a month abbreviation use upper case, rather than mixed case.