Text this: The Lovelace–De Morgan mathematical correspondence