thinkpad What are these "extra" punctuations on my keyboard and how to use the