Open defseg opened 4 years ago
We have and and or but IIRC no term-level not. This won't be terribly useful now but will be useful in the future.
and
or
not
We have
and
andor
but IIRC no term-levelnot
. This won't be terribly useful now but will be useful in the future.