Logical notation for Cauchy reals