.Open An Overview of the MATHS Notation . This document .See http://www/dick/maths/notn_00_README.html . Quick Introduction .See http://www/dick/maths/into_characters.html . A Lexicon .See http://www/dick/maths/notn_10_Lexicon.html . Names in MATHS .See http://www/dick/maths/notn_11_Names.html . Expressions in MATHS .See http://www/dick/maths/notn_12_Expressions.html .Open Documentation in MATHS A document is made of pieces of documentation.... of varying degress of formallity. . Syntax .See http://www/dick/maths/notn_13_Docn_Syntax.html . Semantics .See http://www/dick/maths/notn_14_Docn_Semantics.html . Naming pieces of Documentation .See http://www/dick/maths/notn_15_Naming_Documentn.html . Re-using Documentation .See http://www/dick/maths/notn_4_Re_Use_.html . Conveniences .See http://www/dick/maths/notn_3_Conveniences.html . Classification and Ontologies .See http://www/dick/maths/notn_16_Classification.html . Semantics .See http://www/dick/maths/notn_14_Docn_Semantics.html .Close Documentation in MATHS . Structure of a Document .See http://www/dick/maths/notn_2_Structure.html . Formatting .See http://www/dick/maths/notn_5_Form.html . Documenting Evidence .See http://www/dick/maths/notn_8_Evidence.html . Abstract Algebra in MATHS .See http://www/dick/maths/notn_6_Algebra.html .See http://www/dick/maths/notn_7_OO_vs_Algebra.html . Design for a Lexical Analyser .See http://www/dick/maths/notn_dlex.d.html .Close