BrightBoard Footnotes

1 For simplicity we refer to the marks as being `black' on a `white' background. In fact, any coloured pens may be used, though the thresholding is easier with the darker colours.


2 The final part is more accurately transcribed as: `The goal "Z is inside Y and Z is not equal to X" cannot be satisfied'


3 The formats `pgm' (portable greymap) and `pbm' (portable bitmap) are currently supported.
Use the 'Back' button on your browser to return to the main document.