use literal notation for symbols