unicode: symbols for key commands