4.2 Connectives

Aris has several connectives (see Connectives) When the keyboard command for the desired connective is activated, the desired connective will be inserted at the current cursor point, overwriting selected text.

For example, pressing Ctrl+7 inserts a conjunction. This is the character that looks like an upside-down ‘v’. This is also called a ‘logical and’.