In my forty-odd years of being around electronics (hobby and professional), I've never seen pushbutton abbreviated like that, and was about to ask. Thanks for the clarification.
In my forty-odd years of being around electronics (hobby and professional), I've never seen pushbutton abbreviated like that, and was about to ask. Thanks for the clarification.