≝

Symbol

 * 1)  Equal to by definition.