Shimura varieties are complex algebraic varieties obtained as quotients of Hermitian symmetric spaces. However, it turns out that they admit canonical models defined over number fields. In this talk I will explain how to define the modular curve X_0(N) over the rationals and introduce the concepts of special points and canonical models for general Shimura varieties.