[racket] Latex Symbols

Hello all,

I am writing a paper and the implementation was done in redex.

My question is when I render the semantics and state space is there a way to get a wide hat symbol to print out over some of the characters like in latex?

Thank you!

Maria