7.12.6 root protect

Prev Up Next Page 236 of 800 Search internet

The root protect x end protect construct resembles protect x end protect 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.

Prev Up Next Page 236 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05