I want to define an abstract function.
For example,$a=a[x]$, whose expression is unknown. It can be used for calculation and deduction later. Assume that there are sufficient conditions, so I can get the specific expression of $a=a[x]$ finally.
My question is that which Code is needed to build $a=a[x]$?