Computer Characters for Symbolic Logic

Discussion in 'Physics & Math' started by Prince_James, May 29, 2008.

  1. Prince_James Plutarch (Mickey's Dog) Registered Senior Member

    Messages:
    9,214
    Anyone know where I can find copy/pastable symbolic logic computer characters? Specifically, alongside the Alt + computer keys so I know how to do it from there? Basically, I'm looking for stuff like ⊃.

    Thanks.
     
  2. Google AdSense Guest Advertisement



    to hide all adverts.
  3. mapsdnasggeyerg fubar Registered Senior Member

    Messages:
    63
    Assuming Windows...

    Try the character map utility Start | Run... | charmap

    Change the font to Arial Unicode MS
    Turn on the Advanced View
    Change Group by to Unicode Subrange... this will bring up a Group By dialog
    Select Mathematical Operators in the dialog and you should see all the available math symbols for that font.
    charmap will tell if there is an Alt+ equivalent to get the character you want.
     
  4. Google AdSense Guest Advertisement



    to hide all adverts.
  5. BenTheMan Dr. of Physics, Prof. of Love Valued Senior Member

    Messages:
    8,967
    Well, this forum has latex enabled, so if you're just posting here, you can use

    [noparse]\(\supset\)[/noparse]

    to give you

    \(\supset\).

    you can find a comprehensive list of LaTeX symbols here : http://omega.albany.edu:8008/Symbols.html
     
  6. Google AdSense Guest Advertisement



    to hide all adverts.
  7. QuarkHead Remedial Math Student Valued Senior Member

    Messages:
    1,740
    Yeah, it depends on your OS and on your browser. The following seems fairly foolproof:

    In what follows enclose each number given by .That semicolon is part of the string, by the way.

    Capital Greeks Α - Ω are accessed by the set 913 - 937, each in the expected order.

    Lower case Greeks α - ω are accessed by the set 945 - 969, again, each in the expected order plus what Latex calls \vartheta ϑ is 977.

    Arrows are found in the set 8592 - 8660. You'll probably only need → routinely, which is 8594

    I no have no shortcut for the operators, set relations etc, so here's a list

    ∀ = 8704
    ∂ = 8706
    ∃ = 8707
    ∅ = 8709
    ∇ = 8711
    ∈ = 8712
    ∉ = 8713
    ∋ = 8715
    ∏ = 8719
    ∐ = 8720
    ∑ = 8721
    ∗ = 8727 (compare with *)
    √ = 8730
    ∝ = 8733
    ∞ = 8734
    ∩ = 8745
    ∪ = 8746
    ∫ = 8747
    ≅ = 8773
    ≠ = 8800
    ≡ = 8801
    ≤ = 8804
    ≥ = 8805
    ⊂ = 8834
    ⊃ = 8835
    ⊄ = 8836
    ⊆ = 8838
    ⊇ = 8839
    ⊕ = 8853
    ⊗ = 8855
    ⋅ = 8901


    Windows users can also use these shortcuts.
     
  8. temur man of no words Registered Senior Member

    Messages:
    1,330
    Mac users can use these shortcuts.

    I think here is a fairly complete list of codes.
     
    Last edited: May 29, 2008
  9. Prince_James Plutarch (Mickey's Dog) Registered Senior Member

    Messages:
    9,214
    Thanks guys! HUGE help.
     
  10. paulfr Registered Senior Member

    Messages:
    227
    Hel

    I could use many of these symbols too but the &# is not working
    for me. What might I be doing wrong.
    I have an XP environment and I set the font to Arial.

    Thanks
     
    Last edited: Jun 1, 2008
  11. paulfr Registered Senior Member

    Messages:
    227
    I discovered the Windows environment has a Character Map under Accessories.
    The font "Symbol" has just about everything you could want.
    And Arial has Greek letters.
     

Share This Page