Closed elobove closed 2 years ago
The symbols for conjunction (wedge) and disjunction (vee) were swapped. This PR assigns the correct symbol to these operators.
wedge
vee
Thanks for catching the swap!
The symbols for conjunction (
wedge
) and disjunction (vee
) were swapped. This PR assigns the correct symbol to these operators.