# Ternary Laver table calculator

Notice: We are currently improving our ternary Laver table calculator. The calculator will be offline until we finish our improvements.

Warning: Endomorphic Laver table computation behaves erratically, and the computation may take a long time and/or crash your browser.

For “term one”, “term two”, “term three”, the expression [] is valid. If x and y are valid expressions, then [x,y] is also a valid expression, and the only valid expressions are built inductively using these two rules. For example, [[],[[[],[[],[]]],[]]] is a valid expression. The valid expressions represent terms in the language with one variable and one binary function symbol.