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