... \triangleright \unlhd \unrhd \uplus \vee \wedge \wr A Not predened in L TEX Use one of the packages latexsym, amsfonts, amssymb, txfonts, pxfonts, or wasysym Tennent listed these and other disjoint-union ... \propto \sim \simeq \smile \succ \succeq \vdash A Not predened in L TEX Use one of the packages latexsym, amsfonts, amssymb, mathabx, txfonts, pxfonts, or wasysym Table 63: AMS Binary Relations ... \sqsupseteq \subset \subseteq \supset \supseteq A Not predened in L TEX Use one of the packages latexsym, amsfonts, amssymb, mathabx, txfonts, pxfonts, or wasysym Table 79: AMS Subset and Superset...