More standard way of denoting randomness