Add notation of user-defined variable