tree 862d0341405e0493ee8651be7895cbbf4351b6bc
parent 6693617d2022af9b7212ff8ba56a3f201b972900
parent 1caf0f67c45b624a1c1b808d07d86bd6a3a848ce
author Han Seoul-Oh <laughinghan@gmail.com> 1487305896 -0800
committer GitHub <noreply@github.com> 1487305896 -0800

Merge pull request #676 from italoc-84/master

upgrade \vee, \wedge to Binary Operator