Logiweb(TM)

7.1.6.2 Gluing brackets

Prev Up Next Page 142 of 800 Search internet


Consider the following lgs source text:

   ""P my page
   ""D 0
   a
   b
   ""D 6
   " + "
   ""D 8
   "[ " ]"
   ""B
   "We have that "[ a + b ]" equals "[ b + a ]" by commutativity."

The gluing bracket construct "[ " ]" is designed to give the impression that it embeds formulas inside strings. What it actually does is that it takes the formula as its second argument and the strings as first and third argument. The base page defines gluing brackets like those above.

Prev Up Next Page 142 of 800 Search logiweb.eu

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