tree ae8978b3ee37662a52e35d97e10093c66b673250
parent 52d1b264c16886429bd88118dd59a407235635c8
author italoc-84 <italo.corti@pearson.com> 1474030229 +0200
committer GitHub <noreply@github.com> 1474030229 +0200

upgrade \vee, \wedge to Binary Operator