Take the 2-minute tour ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

How can I insert the entailment symbol into a Microsoft Word 2007 document?

share|improve this question

migrated from stackoverflow.com May 25 '10 at 17:28

This question came from our site for professional and enthusiast programmers.

add comment

5 Answers

up vote 3 down vote accepted

Type in:

255E

then press alt + x That will replace the 255E with ╞ (Though it looks better in word)

You can also go to Insert Symbols (or Insert tab and then Symbol in Office 2007)

Then select subset "Box Drawing" to see other options. The shortcut is shown at the bottom of the dialog.

share|improve this answer
add comment

Copy/paste from wikipedia works for me

EDIT: other ways: Insert symbols from Insert menu then lookup character 22A8 in Arial Unicode MS

or copy this: ⊧ (from wikipedia / green column)

share|improve this answer
    
yes but then you got the picture of the symbol. and additionally i dont wont to have to open wikipedia if i try to insert this symbol –  RoflcoptrException May 25 '10 at 17:20
add comment

I think Microsoft Word has a Formula Editor designed to do exactly what you are looking for.

share|improve this answer
    
i don't think so, or can you tell me where to find it int the formula editor? –  RoflcoptrException May 25 '10 at 17:24
add comment

Well You could try the Character Map in system tools..I am not sure but it has somewhat similiar symbol in it...

share|improve this answer
add comment

I see something that looks like that in the Word 2007 equation editor. When you're on the equation tools design tab, click the drop down next to "Basic Math" and choose "Operators". In the last grouping (Advanced Relational Operators) I have almost three complete rows of symbols and it is next to last on the second row. Of course this location depends on the resolution of your computer. That looks like the symbol you seek, but you are beyond my math level so maybe I'm just falling for something similar.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.