substitution <2023-09-26 Tue 18:28:12> mahmood math we denote a substitution by where is a value to be replaced by the value in a given formula