It was not okay for me. I didn't know what to do.
The shorthand only uses the letters T,R,D and S. There is no capitalisation. As TARDIS is already an abbreviation I was tempted to ask if you do still need to use all the respective symbols? She'd already moved on to the word ROBOT by this point so I ended up rather regretfully doing the shorthand as she'd done it, but making sure to put the capitalisation mark down too.
There are going to be serious problems if I ever have to interview someone from Doctor Who.
She also taught us the symbol to write BATMAN, and invited putting the capitals mark down because it's "his name". But it's not his name. And I said so, sitting between Paul and Mike who both agreed with me that it's his alias.
I was going to write out BRUCE WAYNE but she'd already moved onto TORTURE. How apt.