In this article, we construct a differential modular form of non-zero order and integral weight for compact Shimura curves over totally real fields bigger than Q. The construction uses the theory of lifting ordinary mod p ...