चिन्ह (औपचारिक)