How to express the elementary work definition as an explicit functional expression
85
Difference between $\Delta$, $d$ and $\delta$
60953
How could we formalize the introduction of new notation?
138211
Defining a function using a preceding expression
18854
Convert an expression to a Function
110142
1-1 Function Composition
11806
Functional equation.
4676
Notation for repeated composition of functions
111669
How do lambda calculus most basic definitions work?
120676
A certain element which makes functionals positive
7865
Complete Newbie: Axiom of Foundation Exercise
96610
Using the actual subscript as a variable within thecontext of definitions using the Notation package and Symbolize
150012
How do I mimic the functionality of ""?
97333
Are there specific rules to build expressions with or without articles?
56122
Is there any way to define pure functions with optional arguments?
40855
Common subexpression from two expressions
118029
Pumping Lemma Excercise
76474
How to make a function that evaluates an expression?