Unicode Mathematical Operators ≝ U+225D 0x225D EQUAL TO BY DEFINITION equal to by definition page:274