| Line 85... |
Line 85... |
| 85 |
\code{x >= y} \tab x is greater than or equal to y \cr
|
85 |
\code{x >= y} \tab x is greater than or equal to y \cr
|
| 86 |
\code{x \%~~\% y} \tab x is approximately equal to y \cr
|
86 |
\code{x \%~~\% y} \tab x is approximately equal to y \cr
|
| 87 |
\code{x \%=~\% y} \tab x and y are congruent \cr
|
87 |
\code{x \%=~\% y} \tab x and y are congruent \cr
|
| 88 |
\code{x \%==\% y} \tab x is defined as y \cr
|
88 |
\code{x \%==\% y} \tab x is defined as y \cr
|
| 89 |
\code{x \%prop\% y} \tab x is proportional to y \cr
|
89 |
\code{x \%prop\% y} \tab x is proportional to y \cr
|
| - |
|
90 |
\code{x \%~\% y} \tab x is distributed as y \cr
|
| 90 |
\code{plain(x)} \tab draw x in normal font \cr
|
91 |
\code{plain(x)} \tab draw x in normal font \cr
|
| 91 |
\code{bold(x)} \tab draw x in bold font \cr
|
92 |
\code{bold(x)} \tab draw x in bold font \cr
|
| 92 |
\code{italic(x)} \tab draw x in italic font \cr
|
93 |
\code{italic(x)} \tab draw x in italic font \cr
|
| 93 |
\code{bolditalic(x)} \tab draw x in bolditalic font \cr
|
94 |
\code{bolditalic(x)} \tab draw x in bolditalic font \cr
|
| 94 |
\code{symbol(x)} \tab draw x in symbol font \cr
|
95 |
\code{symbol(x)} \tab draw x in symbol font \cr
|