How to insert Entailment Symbol into Word Document?

Question

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

Answer 1

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.

Answer 2

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)

Answer 3

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

Answer 4

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

Answer 5

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.