Command: Insert Contact Symbol: Shortcut: Ctrl + K

Symbol: Shortcut: Ctrl + O Function :

Command: Negation Symbol: Shortcut: Ctrl + N

Command: Set/Reset Symbol: Shortcut: Ctrl + M Function :

Command: Insert Negated Contact Symbol: Shortcut: Ctrl + K

Command: Paste Contacts: Paste below Shortcut: Ctrl + F

Command: Insert Assignment Symbol: Shortcut: Ctrl + A

Command: Insert Contact (right) Symbol: Shortcut: Ctrl + D

Command: Insert Network (Below) Symbol: Shortcut: Ctrl + T

: Ctrl + N Function :