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