joey, Anyone have a good unicode alternative to \bigvee? Agda uses
⋁
which, in a monospace font, is almost indistinguishable from∨
.
joey, Anyone have a good unicode alternative to \bigvee? Agda uses
⋁
which, in a monospace font, is almost indistinguishable from∨
.