| Line 162... |
Line 162... |
| 162 |
}
|
162 |
}
|
| 163 |
|
163 |
|
| 164 |
The supported \sQuote{scalable delimiters} are \code{| ( [ \{},
|
164 |
The supported \sQuote{scalable delimiters} are \code{| ( [ \{},
|
| 165 |
\code{lceil}, \code{lfloor} and their right-hand versions.
|
165 |
\code{lceil}, \code{lfloor} and their right-hand versions.
|
| 166 |
\code{"."} is equivalent to \code{""}: the corresponding delimiter
|
166 |
\code{"."} is equivalent to \code{""}: the corresponding delimiter
|
| - |
|
167 |
will be omitted. Delimiter \code{||} is supported but has the same
|
| 167 |
will be omitted.
|
168 |
effect as \code{|}.
|
| 168 |
|
169 |
|
| 169 |
The symbol font uses Adobe Symbol encoding so, for example, a lower
|
170 |
The symbol font uses Adobe Symbol encoding so, for example, a lower
|
| 170 |
case mu can be obtained either by the special symbol \code{mu} or by
|
171 |
case mu can be obtained either by the special symbol \code{mu} or by
|
| 171 |
\code{symbol("m")}. This provides access to symbols that have no
|
172 |
\code{symbol("m")}. This provides access to symbols that have no
|
| 172 |
special symbol name, for example, the universal, or forall, symbol is
|
173 |
special symbol name, for example, the universal, or forall, symbol is
|