Hello, does anybody has an idea how to make -- typeset in typewriter (\texttt{}) like -\/- (two dashes, without changing textinputs)? Thanks Tom