In case you were wondering where mathematical typography comes from.