It is actually be:
$\forall \mathrm{x}[(\operatorname{singular}(\mathrm{x}) \wedge \operatorname{orthogonal}(\mathrm{x})) \rightarrow \sim \operatorname{symmetric}(\mathrm{x})]$
$\mathrm{P} \rightarrow \mathrm{Q} \Leftrightarrow \neg \mathrm{P} \vee \mathrm{Q}$ So, above formula can be written as
$\forall \mathrm{x}[(\sim \operatorname{singular}(\mathrm{x}) \vee \sim$ orthogonal $(\mathrm{x})) \vee \sim \operatorname{symmetric}(\mathrm{x})].$