The symbols from logic1 which are supported are:

and, false, not, true