4˙22122
Führe ich durch eine Gleichung ein neues Zeichen ˇα ein indem ich sage es solle ein bestimmtes bereits bekanntes Zeichen ˇβ ersätzen so schreibe ich die Gleichung [(|]Definition[)|] ˇ[|(]nach Russell[|)] in der Form α = β Def