MathBus Specfication

MathBus: Term Structure

• MathBus TOC
• Unicode character sequences.
• Variables and Contexts
• Standard Term Structure Functionality
• Mathbus: Algebra and Analysis
• MathBus: Geometry Terms
• MathBus: Logic