And after you found the character you need, make a custom autocorrect entry for it in MS Word or whatever you use, so you can easily type it next time.