.Open MATHS Experiments

. Motivation

This page serves as a starting page for various experiments and new ideas to extend Dr. Botting's MATHS
tools.

. Boxes

.Box
This is a box. What can we do with it?
.Close.Box

. Lexemes
Here is a quick list of key words used in MATHS, as borrowed from Dr. Botting's introduction to MATHS.
.Table key word    purpose
.Row Close	Terminate the last Net, Set, Let, List, Open
.Row For, for	Introduses quantifiers: all, some, 1, 0..1, ...
.Row fun	Function
.Row Let	Introduces a temporary assumption used to prove something else
.Row List	Start an ordered sequential list
.Row map	Indicates a map, function, \lambda
.Row Net	Introduces a collection of variables and constraints
.Row Open	Open a subsection of the document
.Row rel	Relation
.Row Row	An n-tpl of items separated by tabs in a Table
.Row Set, set	Introduces an unordered set of items
.Row Table	A table: an relation defined as a set of rows
.Close.Table
.Close MATHS Experiments