7/23/2019 Logical Symbols Keystrokes

http://slidepdf.com/reader/full/logical-symbols-keystrokes 1/1

GETTING LOGICAL SYMBOLS IN MICROSOFT WORD

This process allows you to get logical symbols in the computer softwareMicrosoft Word. After choosing the symbols you want to use, you can specifywhat keys you need to press to get that symbol. For example, for the horseshoe

of implication you might assign that symbol to the keys trl!Alt!". After youha#e completed the process and exited the menu, whene#er you press trl!Alt!"the horseshoe of implication will appear. $%e sure to use key combinations thatha#e not already been used.

&. 'pen the "nsert Menu by clicking on the word ("nsert) in the main tool bar.

*. When the "nsert Menu drops down, select the word (+ymbol) and releasethe mouse button.

ou will be presented with the +ymbol -ialog box.

. Within the +ymbol -ialog box, look at the choices of symbols that areshowing. "f you don/t see the symbol you want, use the scroll box on theright to look through other options.

0. As soon as you see the symbol you want, click on it to select it.

1. To assign a set of keystrokes to that symbol, click on the +hortcut button.

2. When presented with the +hortcut -ialog %ox, press the keys you want tocontrol the desired symbol. For example, you might want to press trl!Alt!

" to represent the horseshoe of implication.

3. To exit the +hortcut -ialog %ox you would click on the Assign button.

DESIRED SYMBOLS

Symbol  Description eystro!es4 e5ui#alence trl!Alt!6  horseshoe of implication trl!Alt!"¬ negation Alt!78 is a tautology $double turnstile9 Alt!T

∴ therefore, Alt!∀ uni#ersal 5uantifier Alt!A∃ existential 5uantifier Alt!: