[racket] Latex Symbols

From: Maria Jenkins (mkjxocai at gmail.com)
Date: Sun Aug 24 19:03:56 EDT 2014

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 

Posted on the users mailing list.