The next thing to note is that I typed the word ‘and’ rather than the symbol
for conjunction (‘∧’). As a convenience, zoxiy will let us use words
rather than making us type symbols. But we can type the symbols if we prefer.
The same is true when we’re writing sentences: you can type ‘A and B’ instead of
‘A ∧ B’ if you like.
This is a handy feature of awFOL vs the language of the textbook we’re using.
awFOL let’s you use words where really there should be a symbol, just to make
it easy to type things.