translate the following to mathematical symbols​