Trouble tipping shifted characters over a remote desktop connection

[michael]

That solved it. Yesterday was really a pain because I was working with websequencediagrams which really is a pain if you can’t type -> properly. You made my day! Thank you!