This page serves as a starting page for various experiments and new ideas to extend Dr. Botting's MATHS tools.
Here is a quick list of key words used in MATHS, as borrowed from Dr. Botting's introduction to MATHS.
|Close||Terminate the last Net, Set, Let, List, Open|
|For, for||Introduses quantifiers: all, some, 1, 0..1, ...|
|Let||Introduces a temporary assumption used to prove something else|
|List||Start an ordered sequential list|
|map||Indicates a map, function, \lambda|
|Net||Introduces a collection of variables and constraints|
|Open||Open a subsection of the document|
|Row||An n-tpl of items separated by tabs in a Table|
|Set, set||Introduces an unordered set of items|
|Table||A table: an relation defined as a set of rows|
. . . . . . . . . ( end of section MATHS Experiments) <<Contents | Index>>