View Full Version : Computer Characters for Symbolic Logic


Prince_James
05-29-08, 11:08 AM
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.

mapsdnasggeyerg
05-29-08, 11:50 AM
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.

BenTheMan
05-29-08, 11:50 AM
Well, this forum has latex enabled, so if you're just posting here, you can use

\supset

to give you

\supset.

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

QuarkHead
05-29-08, 11:58 AM
Yeah, it depends on your OS and on your browser. The following seems fairly foolproof:

In what follows enclose each number given by &#number;.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 (http://www.thescienceforum.com/viewtopic.php?p=46496#46496) shortcuts.

temur
05-29-08, 02:55 PM
Mac users can use these (http://rmnl.net/etc/macshortcuts/) shortcuts.

I think here (http://www.iangraham.org/books/xhtml1/entity/en_symbol.html) is a fairly complete list of codes.

Prince_James
05-29-08, 07:42 PM
Thanks guys! HUGE help.

paulfr
05-30-08, 08:35 PM
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

paulfr
06-04-08, 07:27 AM
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.