Definition:Sign (Formal Systems)