well-known symbol