Text this: The autonomy of mathematical knowledge