Hello, Mom2Ninjas, and thanks for trying to help.
Unfortunately, it was exactly this symbol -the pen- that was missing (I only had the microphone and the Settings symbol).
I even called Samsung's customer support, talked with them for over half an hour and they had nothing else to suggest than...