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