Core

Constants

Missing

This symbol is used when a required expression is not present.

MathJSONLatex
["Divide", 2, "Missing"]\frac{2}{\placeholder{}}

Nothing

This symbol is used when an optional expression is not present.

MathJSONLatex
["List", 2, "Nothing", 3]\lrback 2,,3 \rbrack

None

This symbol is used to indicate that out of multiple possible values, none apply.

All

This symbol is used to indicate that out of multiple possible values, all apply.

Functions

About

["About",symbol]

Return information about a symbol such as its domain, its attributes, its value, etc…

Domain

["Domain",expression]

Return the domain of the expression.

Evaluate

["Evaluate",expression]

Apply a sequence of definitions to an expression in order to reduce and simplify it.

An evaluation can consist of:

  • a computation
["Evaluate", ["Add", 2, 3]]
// ➔ 5
  • an execution
["Evaluate", ["Length", ["List", 5, 7]]]
// ➔ 2
  • a simplification
["Evaluate", ["Add", 2, ["Add", "x", 3]]]
// ➔ ["Add", 5, "x"]

Identity

Always return its argument.

MathJSONLatex
["Identity", "x"]\operatorname{id}(x)
"Identity"\operatorname{id}

InverseFunction

Return the inverse function of its argument.

MathJSONLatex
["InverseFunction", "Sin"]\sin^{-1}

Lambda

["Lambda",variables,expression]

Create a Lambda-function, also called anonymous function.

The first argument is a symbol or a list of symbols which are the bound variables of the Lambda-function.

The second argument is an expression expressed as a function of the bound variables of the Lambda-function.

To apply a Lambda-function to some arguments, use:

[["Lambda", ["List", "x"], ["Multiply", "x", "x"]], "3"]
// ➔ 9

Latex

["Latex",expr-1,expr-2, ...expr-n]

  • expr-n: one or more expressions
  • Returns a string, a Latex string corresponding to the input expressions.
["Latex", ["Divide", "Pi", 2]]
// ➔ "'\frac{\pi}{2}'"

If the argument is a string, it is interpreted as a Latex token or fragment:

  • <{>: begin group
  • <}>: end group
  • <space>: blank space
  • <$$>: display mode shift
  • <$>: inline mode shift
  • #0-#9: argument
  • #?: placeholder
  • string that starts with /: a Latex command
  • other strings: ordinary symbols
["Latex", "'\\frac'", "'<{>'", "'pi'", "'<}>'", "'<{>'", 2, "'<}>'"]
// ➔ "'\frac{\pi}{2}'"

See: TeX:289

Pattern

Work in progress

The Pattern function is used with the match() function to pattern-match an expression. The pattern expression can include one or more Pattern function calls.

  • ["Pattern"] - Any sub-expression at this position will match.
  • ["Pattern",name] - Match and capture any subexpression at this position as the capture group name.
  • ["Pattern",name,pattern] - Match and capture any subexpression at this position as the _name_ capture group if the subexpression matches the pattern.
  • ["Pattern",name,pattern-1,pattern-2,...] - Match and capture any subexpression at this position as the _name_ capture group if the subexpression matches any of the pattern-n.
match(["Add", ["Pattern"], ["Pattern"]], ["Add", 3, 5]))
// ➔ {}

Piecewise

Prime

MathJSONLatex
["Prime", "f"]f^\prime
["Prime", "f", 2]f^\doubleprime

Same

Indicate if two expressions are structurally identical, using a literal symbolic identity.

Two expressions are the same if:

  • they have the same domain.
  • if they are numbers, if their value and domain are identical.
  • if they are symbols, if their names are identical.
  • if they are functions, if the head of the functions are identical, and if all the arguments are identical.

Two expressions that have a different wikidata metadata will not be the same, even if they are otherwise identical. Other metadata does not affect the comparison.

// Greek letter vs. ratio of the circumference of a circle to its diameter
same({ sym: 'Pi', wikidata: 'Q168' }, { sym: 'Pi', wikidata: 'Q167' });
// ➔ false

Using a canonical format will result in more positive matches.

same(['Add', 'x', 1], ['Add', 1, 'x']);
// ➔ false

same(canonical(['Add', 'x', 1]), canonical(['Add', 1, 'x']));
// ➔ true

Superscript/subscript

  • Subminus - $$x_-$$
  • Subplus - $$x_+$$
  • Subscript
  • Substar - $$x_*$$
  • Superdagger - $$x^\dagger$$
  • Superminus - $$x^-$$
  • Superplus - $$x^+$$
  • Superstar - $$x^*$$. When the argument is a complex number, indicate the conjugate.

String

Symbol