Page 236 of 800
| Page 236 of 800 | Search internet |
The 
construct resembles 
but it only affects the principal operator of x. Subterms of x are macro expanded as usual. It is typically used for protecting left hand sides of definitions.
| Page 236 of 800 | Search logiweb.eu |