symbol for rotary encoder