user defined symbols