In mathematics, Cutler's bar notation is a notation system for large numbers, introduced by Mark Cutler in 2004. The idea is based on iterated exponentiation in much the same way that exponentiation is iterated multiplication.
A regular exponential can be expressed as such:
\begin{matrix} ab&=&\underbrace{a x a x ... x a}\\ &&bcopiesofa \end{matrix}
However, these expressions become arbitrarily large when dealing with systems such as Knuth's up-arrow notation. Take the following:
\begin{matrix} &
| |||||||||||||||||||
\underbrace{a | |||||||||||||||||||
Cutler's bar notation shifts these exponentials counterclockwise, forming
{b}\bara
\begin{matrix} {b}\bara=&
| |||||||||||||||||||
\underbrace{a | |||||||||||||||||||
This system becomes effective with multiple exponents, when regular denotation becomes too cumbersome.
\begin{matrix}
b{b | |
At any time, this can be further shortened by rotating the exponential counterclockwise once more.
\begin{matrix}
| |||||||||||||||||||
\underbrace{b | |||||||||||||||||||
The same pattern could be iterated a fourth time, becoming
\barad
The Cutler bar notation can be used to easily express other notation systems in exponent form. It also allows for a flexible summarization of multiple copies of the same exponents, where any number of stacked exponents can be shifted counterclockwise and shortened to a single variable. The bar notation also allows for fairly rapid composure of very large numbers. For instance, the number
\bar{10}10
However, the system reaches a problem when dealing with different exponents in a single expression. For instance, the expression
| |||||||||
Other equivalent notations for the same operations already exist without being limited to a fixed number of recursions, notably Knuth's up-arrow notation and hyperoperation notation.