Change notation of Hash