An API for typesetting with Texpad on iOS