Inequalities

In Corca, inequalities are treated as relation operators. They behave as structural elements that connect expressions. They are not embedded inside subexpressions such as fractions or powers.

Creating inequalities

You can create inequalities by typing standard symbols. Type x>3 to get x>3. The inequality operator is inserted automatically.

You can also type common aliases, like x=/2 to get x≠2.

Corca converts the typed alias into the correct mathematical symbol.

Common inequality operators

The following operators are available by default.

Visual distinction

Relation operators are visually distinct from arithmetic operators. They use a separate styling to highlight logical relationships.

This makes complex expressions easier to read.

Inserting inequalities from the symbol palette

You can insert inequality symbols from the right sidebar. Steps:

1. Open the Symbol Palette

2. Select a relation symbol

3. Click to insert

The symbol appears at the cursor position.