∃People: Palatino > CMR
∀Fonts: Math_Font != Main_Font < Math_Font = Main_Font