Super User is a question and answer site for computer enthusiasts and power users. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|improve this question

migrated from May 25 '10 at 17:28

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

up vote 3 down vote accepted

Type in:


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

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

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

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

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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .