Relational Override is not parsed correctly

[wysiib]

Just type a relational override operator, Camille generates an existential quantifier instead?

[wysiib]

Caused by using the wrong font. We should set the Rodin Font as the Default.