The notation using \equiv is somewhat ambigious, and few have notice that they
can use \stackrel to create a =^def style notation. to ease their brain, a
shortcut notation (\def) shold be made (see patch for patch)
Version: unspecified
Severity: enhancement