how to insert the turnstile symbol

[acapi]

I’d like to know how to insert the turnstile symbol in Notepad ++. From Wikipedia “the turnstile symbol (⊢) is called right tack and is at code point U+22A2”. When I copy that symbol from an html page to Notepad it appears as a little white square. Thanks.

[PeterJones]

@acapi said:

When I copy that symbol from an html page to Notepad it appears as a little white square

Then your selected font doesn’t include a glyph for that Unicode codepoint. I was able to paste that character from your post into my Notepad++, and see the right glyph just fine in my normally-selected DejaVu Sans Mono (it’s a free font, available at https://dejavu-fonts.github.io/).

I went to Settings > Style Configurator, Language: Global Styles, Style: Default Style and changed Font name = Courier New, and it became a box, so the Courier New font (likely your default) doesn’t include that glyph.

The page http://www.fileformat.info/info/unicode/char/22a2/fontsupport.htm lists fonts that support that glyph. You may find you already have one of those fonts on your system, or you can install a font that does have it.