Community
    • Login

    how to insert the turnstile symbol

    Scheduled Pinned Locked Moved Help wanted · · · – – – · · ·
    2 Posts 2 Posters 919 Views 2 Watching
    Loading More Posts
    • Oldest to Newest
    • Newest to Oldest
    • Most Votes
    Reply
    • Reply as topic
    Log in to reply
    This topic has been deleted. Only users with topic management privileges can see it.
    • acapiA Offline
      acapi
      last edited by

      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.

      1 Reply Last reply Reply Quote 0
      • PeterJonesP Offline
        PeterJones
        last edited by

        @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.

        1 Reply Last reply Reply Quote 2

        Hello! It looks like you're interested in this conversation, but you don't have an account yet.

        Getting fed up of having to scroll through the same posts each visit? When you register for an account, you'll always come back to exactly where you were before, and choose to be notified of new replies (either via email, or push notification). You'll also be able to save bookmarks and upvote posts to show your appreciation to other community members.

        With your input, this post could be even better 💗

        Register Login
        • First post
          Last post
        The Community of users of the Notepad++ text editor.
        Powered by NodeBB | Contributors