We introduce "modular forms on a definite quaternion algebra" and state the Jacquet-Langlands correspondence. We also discuss some applications to number theory.