apparently texpad is available through brew-cask