sed \
-e 's/and/^/g' \
-e 's/or/v/g' \
-e 's/biimplies/<=>/g' \
-e 's/implies/=>/g' \
-e 's/not/-/g'