Docker does this properly; they show the character but it's nonselectable so you can still copy paste directly without spending time removing the $. eg https://

Docker does this properly; they show the character but it's nonselectable so you can still copy paste directly without spending time removing the $. eg https://docs.docker.com/engine/install/ubuntu/ https://docs.docker.com/engine/install/ubuntu/