Author: pde

Description:
I just tried to use some of the standard LaTeX `binary operation symbols', like
\prec, \preceq, \succ, \succeq, and they're not available!

Version: unspecified
Severity: normal
OS: Linux