Real Part r←ℜy

r is the result of the scalar application of the real part function, Re y \mathop{\text{Re}} y .