formal relations between signs or expressions in abstraction from their signification and their interpreters