# ≝ U+225D EQUAL TO BY DEFINITION