[racket] Latex Symbols

I tend to cheat in such situations and use @latex{\hat{x}}. -- Matthias


On Aug 24, 2014, at 7:03 PM, Maria Jenkins wrote:

> 
> 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 
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users