Testing font Xero's Proof