@Super Guru-
Thanks for your suggestion, but Evernote does not seem to recognize it at all . I just get the date in the regular font.
^#!f5::
FormatTime, Time,, yyMMdd-HHmm.ss
Send, {Ctrl}{Shift}{Up}
SendInput %Time%
Send, {Ctrl}{Shift}{Down}
return
This simply produced the datestamp in the default font, not as superscript.
I also tried:
^#!f4::
FormatTime, Time,, yyMMdd-HHmm.ss
Send, {Ctrl}{b}
SendInput %Time%
Send, {Ctrl}{b}
return
This simply generated the datestamp with a (literal) "b" before and after it. I.e. Autohotkey is seeing the "b" key as an alphabetic and not as a control character.
More suggestions? (Thanks for your help!!)