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
