GNU Aris Manual: Connectives

Next: Adding, Previous: Startup, Up: Basic Usage [Contents]

### 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’.