beastaugh/hatt — pull request #4 by mkrauskopf (2012-12-03 20:05:05+00:00)
Title: Support Unicode symbols during input for logical connectives

During reading sites like math.stackexchange.com I sometime hit formulas in Unicode form. The patch allows to conveniently copy-paste those formula directly into Hatt. E.g. checking following tautology:

$ hatt --evaluate="(p∧q)→p"
p q | ((p & q) -> p)
--------------------
T T | T
T F | T
F T | T
F F | T

Not sure if this goes against Hatt ideology.

I've tweaked README.md - please tweak further if it does not fit native-English well.