> Writing proper is a correspondence between marks and sounds to represent speech.
I don't think this is the proper definition, since by this standard, Egyptian hieroglyphs, Chinese ideograms, Norse runes and many others would not be considered writing; and any attempt to notate sign languages would not be writing by definition.
Instead, writing is a direct and consistent correspondence between marks and elements of human language (alphabets and abjads represent speech sounds, various ideographic systems represent semantics, you can have hybrids etc). This still makes sure that tallies or just general symbols or icons are not a form of writing, but it doesn't require any phonetic aspect to it either.