Logical operators

and

and ${\displaystyle x\land y}$, (also keyword and)

or

or ${\displaystyle x\lor y}$, (also keyword or)

xor

exclusive or ${\displaystyle (x\land {\bar {y}})\lor ({\bar {x}}\land y)}$, (also keyword xor)

Relational operators

/=

Not Equal ${\displaystyle x\neq y}$, (also special character /=)

=

Equal ${\displaystyle x=y}$, (also special character =)

<

Less than ${\displaystyle x<y}$, (also special character <)

<=

Less than or equal to (${\displaystyle x\leq y}$), (also special character <=)

>

Greater than (${\displaystyle x>y}$), (also special character >)

>=

Greater than or equal to (${\displaystyle x\geq y}$), (also special character >=)

Binary adding operators

+

Add ${\displaystyle x+y}$, (also special character +)

-

Subtract ${\displaystyle x-y}$, (also special character -)

&

Concatenate , ${\displaystyle x}$ & ${\displaystyle y}$, (also special character &)

Unary adding operators

+

Plus sign ${\displaystyle +x}$, (also special character +)

-

Minus sign ${\displaystyle -x}$, (also special character -)

Multiplying operator

*

Multiply, ${\displaystyle x\times y}$, (also special character *)

/

Divide ${\displaystyle x/y}$, (also special character /)

mod

modulus (also keyword mod)

rem

remainder (also keyword rem)

Highest precedence operator

**

Power ${\displaystyle x^{y}}$, (also special character **)

not

logical not ${\displaystyle \lnot x}$, (also keyword not)

abs

absolute value ${\displaystyle |x|}$ (also keyword abs)

Range membership test

if Today not in Tuesday .. Thursday then
   ...

Subtype membership test

Is_Non_Negative := X in Natural;

Class membership test

exit when Object in Circle'Class;

Wikibook

• Ada Programming

Ada 95 Reference Manual

• 4.5 Operators and Expression Evaluation (Annotated)

Ada 2005 Reference Manual

• 4.5 Operators and Expression Evaluation (Annotated)

Ada Quality and Style Guide

• 2.1.3 Alignment of Operators
• 5.7.4 Overloaded Operators
• 5.7.5 Overloading the Equality Operator