Shell-Bracket Notation

> Substitution is a ternary operation, involving three Patterns that we have differentiated by their sequential position in the shell-bracket notation.

is the primary mechanism for computation and for proof in algebraic systems.


Vgl. zur begrifflichen Ausgangslage Körner, J., Simonyi, G., Trifference, Studia Scientiarum Mathematicarum Hungarica 30, 1995, S. 95–103.