Done with replacing "^" and "v" with "and" and "or", respectively (closes #326) [ci skip].