Page 249 of 800
| Page 249 of 800 | Search internet |
Sometimes one needs tight control over the rendering or needs unusual effects. For that, a number of parenthesis constructs are available.
As an example, one may occasionally need to state a definition one does not really mean like this: we could define 
but we prefer 
.
In this case we do not want the first of the two definitions to take effect but we still want the rendering machinery to render it. In cases like this one may put the first one of the two definitions into a
hide x end hideparenthesis. That construct 'hides' the definition from the definition harvester. Thus, the hiding construct effectively says: I don't mean this.
There are also parentheses for forcing terms to be rendered using show rendering and many similar constructs as was stated in the section on parentheses.
| Page 249 of 800 | Search logiweb.eu |