Fungrim home page

Symbolic expressions

Table of contents: Introduction - Language documentation - 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. The LaTeX output rendered on the Fungrim website is produced automatically from the symbolic Grim expressions.

Language documentation

See: The Grim formula language

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.

2020-01-31 18:09:28.494564 UTC