4˙22121
„a = b” heißt also das Zeichen „a” ist durch das Zeichen „b” ersätzbar.