Fungrim home page

Symbolic expressions

Table of contents: Introduction - Markup for Fungrim entries - Variable-generating expressions - Sequence-generating expressions - Cosmetic markup

Introduction

Formulas in Fungrim are represented using symbolic expressions that encode mathematical objects and operations in a semantic way. The symbolic expression language is called Grim ("GRIM Represents Intelligible Mathematics"). The LaTeX output rendered on the Fungrim website is produced automatically from the symbolic Grim expressions.
This topic page documents fundamental constructions used in Grim expressions. The language is still a work in progress and the details are subject to change.

Markup for Fungrim entries

6db9b2
Symbol: Entry \ldots Entry
0d9952
Symbol: ID \ldots Entry ID
c2fb41
Symbol: Formula \ldots Formula
f37520
Symbol: Variables \ldots Declaration of variables
3c8d31
Symbol: Assumptions \ldots Assumptions (domain declaration) for the variables
8af90e
Symbol: References \ldots References
b976df
Symbol: Description \ldots Text description

Variable-generating expressions

43cc72
Symbol: For \ldots General-purpose generator
978576
Symbol: ForElement \ldots Generator for all the elements of a set

Sequence-generating expressions

82c978
Symbol: Repeat x,,xn times\underbrace{x, \ldots, x}_{n \text{ times}} Repeating sequence
73f5e7
Symbol: Step f(a),f ⁣(a+1),,f(b)f(a), f\!\left(a + 1\right), \ldots, f(b) Enumerated sequence

Cosmetic markup

ecfe08
Symbol: Parentheses ()\left(\ldots\right) Parentheses
d14265
Symbol: Brackets []\left[\ldots\right] Square brackets
ca1edc
Symbol: Braces {}\left\{\ldots\right\} Curly braces

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-10-05 13:11:19.856591 UTC