kosmikus/lhs2tex

forall dot issue

Opened this issue · 1 comments

I find forall a . a -> a. for the dot lhs2tex will use \circ which is not right.

Me too.