Text this: Arithmetic differential operators over the p-adic integers